International symposium on programming : 5TH COLLOQUIUM TURIN, APRIL 6-8, 1982. PROCEEDINGS - Dezani-Ciancaglini, Mariangiola; Montanari, Ugo (Lecture Notes in Computer Science ;, 1982)