Compiler Speci and Veri (1981)

by W Polak
Venue:Lecture Notes in Computer Science, number 124 in LNCS