Correctness of code generation from a two-level meta-language (1986)

by Flemming Nielson
Venue:Proceedings of the European Symposium on Programming (ESOP 86