Talcott, C. L. (1989). Programming and proving with function and control abstractions.
Chicago-Zitierstil (17. Ausg.)Talcott, Carolyn L. Programming and Proving with Function and Control Abstractions. Stanford, Calif, 1989.
MLA-Zitierstil (9. Ausg.)Talcott, Carolyn L. Programming and Proving with Function and Control Abstractions. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.