He, J. (1995). Provably correct systems: Modelling of communication languages and design of optimized compilers. McGraw-Hill.
Chicago-Zitierstil (17. Ausg.)He, Jifeng. Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. London u.a: McGraw-Hill, 1995.
MLA-Zitierstil (9. Ausg.)He, Jifeng. Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.