Algebraic Methodology and Software Technology : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings - Armando M. Haeberer ((Lecture Notes in Computer Science))