Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings - Johnson, Michael; Johnson, Michael (Springer Berlin Heidelberg : Imprint: Springer, 1997)