ECOOP 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings - Luca Cardelli ((Lecture Notes in Computer Science))