Martin, U., & Nipkow, T. (1989). Ordered rewriting and confluence.
Chicago-Zitierstil (17. Ausg.)Martin, Ursula, und Tobias Nipkow. Ordered Rewriting and Confluence. Cambridge, 1989.
MLA-Zitierstil (9. Ausg.)Martin, Ursula, und Tobias Nipkow. Ordered Rewriting and Confluence. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.