Algebraic Methodology and Software Technology : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings - Michael Johnson ((Lecture Notes in Computer Science))