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