APA-Zitierstil (7. Ausg.)

Klop, J. W., Oostrom, V. v., & Vrijer, R. d. (2000). A geometric proof of confluence by decreasing diagrams. Centrum voor Wiskunde en Informatica.

Chicago-Zitierstil (17. Ausg.)

Klop, Jan Willem, Vincent van Oostrom, und Roel de Vrijer. A Geometric Proof of Confluence by Decreasing Diagrams. Amsterdam: Centrum voor Wiskunde en Informatica, 2000.

MLA-Zitierstil (9. Ausg.)

Klop, Jan Willem, et al. A Geometric Proof of Confluence by Decreasing Diagrams. Centrum voor Wiskunde en Informatica, 2000.