Compiler Specification and Verification (1981)

by Wolfgang Polak