ECOOP 2003 - Object-oriented programmings : 17th European conference, Darmstadt, Germany, july 2003 Proceedings - Cardelli, Luca (Lecture notes in computer science, 2003)