Constable, R. L. (1980). Programs as types.
Chicago-Zitierstil (17. Ausg.)Constable, Robert Lee. Programs as Types. Ithaca, New York, 1980.
MLA-Zitierstil (9. Ausg.)Constable, Robert Lee. Programs as Types. 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.