Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
Haeberer, Armando M Haeberer, Armando M.
Berlin, Heidelberg: Springer Berlin / Heidelberg 1998
Texto completo disponível