APA-Zitierstil (7. Ausg.)

Amadio, R. M., & Cardelli, L. (1990). Subtyping recursive types.

Chicago-Zitierstil (17. Ausg.)

Amadio, Roberto M., und Luca Cardelli. Subtyping Recursive Types. Palo Alto, Calif, 1990.

MLA-Zitierstil (9. Ausg.)

Amadio, Roberto M., und Luca Cardelli. Subtyping Recursive Types. 1990.

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