Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2003)