Provably correct systems modelling of communication languages and design of optimized compilers - He, Jifeng 1943- (McGraw-Hill, 1995)