Compiler Specification and Verification - Polak, Wolfgang (rz1, 1981)