Control tlow aspects of semantics directed compiling (1981)

by R Sethi
Venue:Bell Labs