International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982 - Montanari, U. (Ugo); Dezani-Ciancaglini, M. (Mariangiola) (Lecture notes in computer science, 1982)