Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers - Bert, Didier; Bert, Didier; Choppy, Christine; Choppy, Christine; Mosses, Peter; Mosses, Peter (Springer Berlin Heidelberg : Imprint: Springer, 2000)