Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings - Haeberer, Armando M.; Haeberer, Armando M. (Springer Berlin Heidelberg : Imprint: Springer, 1999)