Wadt 98

• Recent Trends in Algebraic Development Techniques: 13th International Workshop, Wadt '98, Lisbon, Portugal, April 2-4, 1998