Compiler specification and verification - Polak, Wolfgang (Springer, 1981)