Compiler Specification and Verification - Polak, Wolfgang, 1950- (Springer-Verlag, 1981)