The laws of occam programming - Roscoe, A; Hoare, C (1988)