Goguen, J., & Burstall, R. M. (1986). A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. CSLI.
Chicago-Zitierstil (17. Ausg.)Goguen, Joseph, und Rod M. Burstall. A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments. Stanford, CA: CSLI, 1986.
MLA-Zitierstil (9. Ausg.)Goguen, Joseph, und Rod M. Burstall. A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments. CSLI, 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.