Inter Symposium on Programming - Dezani-Ciancaglini, M. (Lecture Notes in Computer Science Ser.)