Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Degano, Pierpaolo; Degano, Pierpaolo (Springer Berlin Heidelberg : Imprint: Springer, 2003)