Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings / - Haeberer, Armando Martín (Springer, 1999)