Algebraic methodology and software technology 4th international conference, amast'95, Montreal, Canada, july 3-7, 1995, proceedings
International Conference on Algebraic Methodologyand Software Technology (4. 1995 Montreal, Ca) Vangalur S Alagar; M Nivat
[ed] Goos, G., Hartmanis, J., Leeuwen, J. Van Berlin, Springer-Verlag, c1985- Lecture notes in computer scienceBerlin Springer 1995
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.936 e.1 ) e outros locais(Acessar)