Complementary Definitions of Programming Language Semantics | NiceBooksReads