Burstall, R. M., & MacKinna, J. (1992). Deliverables: A categorical approach to program development in type theory.
Chicago-Zitierstil (17. Ausg.)Burstall, Rod M., und James MacKinna. Deliverables: A Categorical Approach to Program Development in Type Theory. Edinburgh, 1992.
MLA-Zitierstil (9. Ausg.)Burstall, Rod M., und James MacKinna. Deliverables: A Categorical Approach to Program Development in Type Theory. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.