Complementary Definitions of Programming Language Semantics by J.E. Donahue