Mathematical foundations of programming semantics proceedings
Conference on the Mathematical Foundations of Programming Semantics (1. 1985 Manhattan) Austin Melton
Berlin Springer 1986
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.239 ex.1 ) e outros locais(Acessar)