Hoare, C., & Chaochen, Z. (1981). Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group.
Цитирование в стиле Чикаго (17-е изд.)Hoare, C., и Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
Цитирование MLA (9-е изд.)Hoare, C., и Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.