Gerhard Goos: Compiler Verification and Compiler Architecture. COCV 2002: 1