Mathematical foundations of programming semantics proceedings
Conference on the Mathematical Foundations of Programming Semantics (9. 1993 New Orlelans) Stephen Brookes; Michael Main
Berlin Springer 1994
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.802 e.1 ) e outros locais(Acessar)