A semantics-directed compiler generator (1982)

by Lawrence Paulson
Venue:In Ninth Symposium on Principles of Programming Languages