A theory of programming language semantics : standard semantic. Store semantic. Stack semantic. Pt. B. - Milne, Robert; Strachey, Christopher (London : Chapman & Hall Ltd, London, 1976)