Verification of compilers (1999)

by G Goos, W Zimmermann
Venue:In In Correct System Design