Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers - Didier Bert, Christine Choppy, Peter D. Mosses ((Lecture Notes in Computer Science))