Compiler specification and verification - Polak, Wolfgang (1981)