Mathematics of program construction proceedings
Conference on Mathematics of Program Construction (3. 1995 Kloster Irsee, De) Bernhard Moller
GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin Springer 1995
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.947 e.1 ) e outros locais(Acessar)