Compiler Specification and Verification (1981)

by Wolfgang Polak
Venue:SpringerVerlag (LNCS