(2003). Recent trends in algebraic development techniques: 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).
Chicago-referens (17:e uppl.)Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : Revised Selected Papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.). 2003.
MLA-referens (9:e uppl.)Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : Revised Selected Papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.). 2003.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.