Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers - Wirsing, Martin; Wirsing, Martin; Pattinson, Dirk; Pattinson, Dirk; Hennicker, Rolf; Hennicker, Rolf (Springer Berlin Heidelberg : Imprint: Springer, 2003)