A refinement calculus for concurrent systems with communications. - Lu Ming Lai (1990)