International symposium on programming. 5th colloquium Turin, april 6-8, 1982 - Dezani-Ciancaglini, M. (Berlin Heidelberg New York : Springer-Verlag, 1982)