Hoare, C., & Chaochen, Z. (1981). Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group.
Cita Chicago (17th ed.)Hoare, C., i Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
Cita MLA (9th ed.)Hoare, C., i Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
Atenció: Aquestes cites poden no estar 100% correctes.