Complementary definitions of programming language semantics - Donahue, James Edward 1947- (Lecture notes in computer science, 1976)