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