The laws of Occam programming - Roscoe, A. W.; Hoare, Charles A. R. 1934- (1986)