A semantics-directed compiler generator. Pages 224–233 of (1982)

by Laurence C Paulson
Venue:Proceedings of the ninth ACM symposium on principles of programming languages