Programming Language Semantics: Imperative And Object Oriented Languages - Kirkerud (Bjorn) (1977)
15