APA-Zitierstil (7. Ausg.)

Nipkow, T., & Snelting, G. (1990). Type classes and overloading resolution via order-sorted unification.

Chicago-Zitierstil (17. Ausg.)

Nipkow, Tobias, und Gregor Snelting. Type Classes and Overloading Resolution via Order-sorted Unification. Cambridge, 1990.

MLA-Zitierstil (9. Ausg.)

Nipkow, Tobias, und Gregor Snelting. Type Classes and Overloading Resolution via Order-sorted Unification. 1990.

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