1. The architecture of the Utrecht Haskell compiler;Dijkstra,2009
2. Ruler: programming type rules;Dijkstra,2006
3. Syntax macros and extended translation;Leavenworth;Commun. ACM,1966
4. Semantically-sensitive macroprocessing;Maddox,1989
5. Stratego/XT 0.17. A language and toolset for program transformation;Bravenboer;Sci. Comput. Program.,2008