%0 Book
%A Didier Bert, Christine Choppy, Peter Mosses )eds.(
%T Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
%U /book/101382759/Recent-trends-in-algebraic-development-techniques/