Theory Of Programming Language Semantics. Part A & B. Two Volumes [Textbook Binding]