(1998). Recent trends in algebraic development techniques: 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; Selected Papers. Berlin [u.a.]: Springer, 1998.
MLA-Zitierstil (9. Ausg.)Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; Selected Papers. Springer, 1998.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.