Macro-by-example: Deriving syntactic transformations from their specifications (1987)

by E E Kohlbecker, M Wand
Venue:In Proc. 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages