Programming language semantics imperative and object-oriented languages - Kirkerud, Bjorn (International Thomson Computer Press, 1997)