Michael Johnson Varmo Vene Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings AMAST Lecture Notes in Computer Science 4019 Springer 2006 3-540-35633-9 db/conf/amast/amast2006.html