APA (7th ed.) Citation

WADT 2002 Frauenchiemsee, Germany, Wirsing, M., Pattinson, D., & Hennicker, R. (2003). Recent trends in algebraic development techniques: 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers. Springer.

Chicago Style (17th ed.) Citation

WADT 2002 Frauenchiemsee, Germany, M. Wirsing, Dirk Pattinson, and Rolf Hennicker. Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : Revised Selected Papers. Berlin ; New York: Springer, 2003.

MLA (9th ed.) Citation

WADT 2002 Frauenchiemsee, Germany, et al. Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : Revised Selected Papers. Springer, 2003.