Published proceedings

Jose Luiz Fiadeiro, Pierre Yves Schobbens (Eds.): Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4409, ISBN 978-3-540-71997-7, Springer, 2007.