Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers - Martin Wirsing, Dirk Pattinson, Rolf Hennicker ((Lecture Notes in Computer Science))