Provably correct systems : modelling of communication languages and design of optimized compilers /
Jifeng, He.
London : McGraw-Hill,
c1995.