Milne, Robert A theory of programming language semantics - London Chapman and Hall 1976 - 368 p. Dewey Class. No.: 415 M635T