Hoare, C., & Chaochen, Z. (1981). Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group.
Chicago-Zitierstil (17. Ausg.)Hoare, C., und Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
MLA-Zitierstil (9. Ausg.)Hoare, C., und Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.