Recent Trends in Algebraic Development Techniques 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers - Parisi-Presicce, Francesco; Parisi-Presicce, Francesco (Springer Berlin Heidelberg : Imprint: Springer, 1998)