International symposium on programming ed. by Ciancoglini Dezani and U. Montanari - New-York Springer-Verlag 1982 - vi, 406p. - Lecturer notes in computer science . ISBN: 3540114947 Dewey Class. No.: 005.1 / N822;1