Didier Bert Christine Choppy Peter D. Mosses Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers WADT Lecture Notes in Computer Science 1827 Springer 2000 3-540-67898-0 db/conf/wadt/wadt1999.html