Programming language semantics imperative and object-oriented languages - Kirkerud, Bjørn (Internat. Thomson Computer Pr., 1997)