Kristiansen, L., & Normann, D. (1995). Total objects in inductively defined types.
Chicago-Zitierstil (17. Ausg.)Kristiansen, Lill, und Dag Normann. Total Objects in Inductively Defined Types. Oslo, 1995.
MLA-Zitierstil (9. Ausg.)Kristiansen, Lill, und Dag Normann. Total Objects in Inductively Defined Types. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.