Mathematical foundations of programming semantics proceedings
Conference on the Mathematical Foundations of Programming Semantics (5. 1989 New Orleans) Michael Main
Berlin Springer 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-00 Lncs v.442 ) e outros locais(Acessar)