Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

José Luiz Fiadeiro Pierre-Yves Schobbens Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers WADT Lecture Notes in Computer Science 4409 Springer 2007 978-3-540-71997-7 db/conf/wadt/wadt2006.html