You are about to access our book library "Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings (Lecture Notes in Computer Science, 1349) full version" .