International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
Dezani-Ciancaglini, Mariangiola ; Montanari, Ugo Dezani-Ciancaglini, Mariangiola ; Montanari, Ugo
Berlin, Heidelberg: Springer Berlin Heidelberg 1982
Texto completo disponível