1. Compiler Construction;Wirth,1996
2. Typed transformations of typed abstract syntax;Baars,2009
3. Grammar fragments fly first-class;Viera,2012
4. Typed transformations of typed grammars: the left corner transform;Baars,2009
5. Parser combinators: from toys to tools;Swierstra,2000