APA (7. basım) Alıntı

He, J. (1995). Provably correct systems: Modelling of communication languages and design of optimized compilers. McGraw-Hill.

Chicago Style (17. basım) Atıf

He, Jifeng. Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. London: McGraw-Hill, 1995.

MLA (8th ed.) Atıf

He, Jifeng. Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill, 1995.