A theory of programming language semantics - Milne, Robert 1956-2005; Strachey, Christopher (Wiley, 1976)