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