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