ECOOP 2003--Object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings / - Cardelli, Luca. (Springer-Verlag,, 2003)