theory of programming language semantics - Milne, Robert (Chapman & Hall, 1976)