Complementary definitions of programming language semantics - Donahue, James E. (Springer Verlag, 1976)