ECOOP 2003-- object-oriented programming 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings / - Cardelli, Luca. (Lecture notes in computer science ;)