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