Michael Johnson Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings AMAST Lecture Notes in Computer Science 1349 Springer 1997 3-540-63888-1 db/conf/amast/amast97.html