Computer semantics : studies of algorithms, processors and languages - Lee, John A. R. (R.E. Krieger, 1972)