author : Wolfgang Polak

Books

• Compiler Specification and Verification. 1981