Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers - Andrea Corradini, Ugo Montanari ((Lecture Notes in Computer Science))