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 ((Lecture Notes in Computer Science))