Haeberer, Armando-Martin de -
Haeberer, Armando-Martin de - Algebraic Methodology and Software Technology: International Conference, AMAST'98 Amazonia, Brazil, JAnuary 4-8, 1999 Proceedings: International ... Notes in Computer Science, 1536, Band 1536)