Computer semantics Studies of algorithms, processors and languages - Lee, John A. N. 1934- (Computer science series., 1972)