Computer semantics Studies of algorithms, processors and languages - Lee, John A N (Van Nostrand Reinhold Company, 1972)