Denotational semantics as a specification of code generators (1982)

by Martin R Raskovsky
Venue:In Allen [2