Hoare, C. A. R. (1981). A calculus of total correctness for communicating processes. Oxford University Computing Laboratory, Programming Research Group.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Hoare, C. A. R. A Calculus of Total Correctness for Communicating Processes. Oxford: Oxford University Computing Laboratory, Programming Research Group, 1981.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Hoare, C. A. R. A Calculus of Total Correctness for Communicating Processes. Oxford University Computing Laboratory, Programming Research Group, 1981.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.