You are about to access our book library "Algebraic Methodology and Software Technology: 7th International Conference, Amast'98, Amazonia, Brazil, January 4-8, 1999, Proceedings full version" .