Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers - Fiadeiro, José Luiz; Schobbens, Pierre-Yves (Springer Berlin Heidelberg, 2007)