Computer semantics : studies of algorithms, processors and languages - Lee, John A. N. (New York : Van Nostrand Reinhold, 1972)