International symposium on programming : 5TH COLLOQUIUM TURIN, APRIL 6-8, 1982. PROCEEDINGS - Dezani-Ciancaglini, Mariangiola (Springer Verlag, 1982)