Charles Rattray Savi Maharaj Carron Shankland Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings 3-540-22381-9 AMAST Lecture Notes in Computer Science 3116 Springer 2004 db/conf/amast/amast2004.html