Elements of software science - Halstead, Maurice H. 1918- (Operating and programming systems series ;, 1977)