Provably correct systems modelling of communication languages and design of optimized compilers - He, Jifeng 1943- (The McGraw-Hill international series in software engineering, 1995)