Compiler Specification and Verification - Polak, Wolfgang, 1950- (Lecture notes in computer science, 1981)