Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers - Corradini, Andrea; Montanari, Ugo (Springer Berlin Heidelberg : Imprint: Springer, 2009)