Compiler specification and verification - Polak, Wolfgang, 1950- (Lecture notes in computer science ;, 1981)