The design and verification of a programming language for distributed processes communication - Mao, Tsang William.