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

by F Nielson
Venue:In Proceedings of the European Symposium on Programming (ESOP 86) (Saarbrucken