APA-Zitierstil (7. Ausg.)

Mayr, R., & Nipkow, T. (1994). Higher-order rewrite systems and their confluence.

Chicago-Zitierstil (17. Ausg.)

Mayr, Richard, und Tobias Nipkow. Higher-order Rewrite Systems and Their Confluence. München, 1994.

MLA-Zitierstil (9. Ausg.)

Mayr, Richard, und Tobias Nipkow. Higher-order Rewrite Systems and Their Confluence. 1994.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.