%0 Book
%A Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
%T Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
%U /book/101386284/Recent-trends-in-algebraic-development-techniques/