He, J. (1995). Provably correct systems: Modelling of communication languages and design of optimized compilers. McGraw-Hill.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)He, Jifeng. Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. London: McGraw-Hill, 1995.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)He, Jifeng. Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill, 1995.
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%.