WADT 2004 Barcelona, Spain, Fiadeiro, J. L., Mosses, P., & Orejas, F. (2005). Recent trends in algebraic development techniques: 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers. Springer.
Chicago Style (17th ed.) CitationWADT 2004 Barcelona, Spain, José Luiz Fiadeiro, Peter Mosses, and F. Orejas. Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : Revised Selected Papers. Berlin ; New York: Springer, 2005.
MLA (9th ed.) CitationWADT 2004 Barcelona, Spain, et al. Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : Revised Selected Papers. Springer, 2005.
Warning: These citations may not always be 100% accurate.