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