ECOOP 2003 - Object-Oriented Programming 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings - Cardelli, Luca; Cardelli, Luca (Springer Berlin Heidelberg : Imprint: Springer, 2003)