Armando Martin Haeberer Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings AMAST Lecture Notes in Computer Science 1548 Springer 1999 3-540-65462-3 db/conf/amast/amast98.html