Provably correct systems: modelling of communication languagesand design of optimized compilers by Jifeng He | Menrva Books | MenrvaBooks