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.