@inproceedings(BlooRose:rta1996,
 author       = "Roel Bloo and Kristoffer H. Rose",
 year         = "1996",
 title        = "Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Normalisation",
 editor       = "Harald Ganzinger",
 booktitle    = "{RTA '96}---Rewriting Techniques and Applications",
 series       = "{L}ecture {N}otes in {C}omputer {S}cience",
 volume       = "1103",
 organization = "Rutgers University",
 publisher    = "Springer-Verlag",
 address      = "New Brunswick, New Jersey",
 pages        = "169--183",
 doi          = "10.1007/3-540-61464-8_51",
)
@techreport(w3c:xquery,
 author       = "Scott Boag and Don Chamberlain and Mary F. Fern{\'a}ndez and Daniela Florescu and Jonathan Robie and J{\'e}r{\^o}me Sim{\'e}on",
 year         = "2007",
 title        = "{XQuery} 1.0: An {XML} Query Language",
 type         = "{W3C} Recommendation",
 institution  = "World Wide Web Consortium",
 url          = "http://www.w3.org/TR/2007/REC-xquery-20070123/",
)
@article(Brand+:toplas2002,
 author       = "{M.G.J. van den} Brand and J. Heering and P. Klint and P. A. Olivier",
 year         = "2002",
 title        = "Compiling Language Definitions: The {ASF+SDF} Compiler",
 journal      = "{ACM} {T}ransactions on {P}rogramming {L}anguages and {S}ystems",
 volume       = "24",
 number       = "4",
 pages        = "334--368",
 doi          = "10.1145/567097.567099",
)
@article(Bravenboer+:fi2006,
 author       = "Martin Bravenboer and Arthur van Dam and Karina Olmos and Eelco Visser",
 year         = "2006",
 title        = "Program Transformation with Scoped Dynamic Rewrite Rules",
 journal      = "Fundamenta Informaticae",
 volume       = "69",
 number       = "1--2",
 pages        = "123--178",
)
@inproceedings(CluetMoerkotte:1993:dblp,
 author       = "Sophie Cluet and Guido Moerkotte",
 year         = "1993",
 title        = "Nested Queries in Object Bases",
 booktitle    = "In Proc. Int. Workshop on Database Programming Languages",
 pages        = "226--242",
)
@article(Dave:sen2003,
 author       = "Maulik A. Dave",
 year         = "2003",
 title        = "Compiler verification: a bibliography",
 journal      = "SIGSOFT Softw. Eng. Notes",
 volume       = "28",
 number       = "6",
 pages        = "2--2",
 doi          = "10.1145/966221.966235",
)
@article(FernandezGabbay:ic2007,
 author       = "Maribel Fern\'andez and Murdoch J. Gabbay",
 year         = "2007",
 title        = "Nominal rewriting",
 journal      = "Inf. Comput.",
 volume       = "205",
 number       = "6",
 pages        = "917--965",
 doi          = "10.1016/j.ic.2006.12.002",
)
@inproceedings(GhelliEtal:2007:dbpl,
 author       = "Giorgio Ghelli and Nicola Onose and Kristoffer H. Rose and J\'{e}r\^{o}me Sim\'{e}on",
 year         = "2007",
 title        = "A better semantics for XQuery with side-effects",
 booktitle    = "DBPL'07: Proceedings of the 11th international conference on Database programming languages",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "81--96",
 doi          = "10.1007/978-3-540-75987-4_6",
)
@article(HickeyNogin:hosc2006,
 author       = "Jason Hickey and Aleksey Nogin",
 year         = "2006",
 title        = "Formal Compiler Construction in a Logical Framework",
 journal      = "Higher-Order and Symb. Comp.",
 volume       = "19",
 number       = "2-3",
 pages        = "197--230",
 doi          = "10.1007/s10990-006-8746-6",
)
@inproceedings(KesnerRenaud:mfcs2009,
 author       = "Delia Kesner and Fabien Renaud",
 year         = "2009",
 title        = "The Prismoid of Resources",
 booktitle    = "34th International Symposium on Mathematical Foundations of Computer Science (MFCS)",
 series       = "LNCS",
 volume       = "5734",
 publisher    = "Springer-Verlag",
 address      = "Novy Smokovec, High Tatras, Slovakia",
 pages        = "464--476",
 doi          = "10.1007/978-3-642-03816-7_40",
)
@article(Klop+:tcs1993,
 author       = "Jan Willem Klop and Vincent van Oostrom and Femke van Raamsdonk",
 year         = "1993",
 title        = "Combinatory Reduction Systems: Introduction and Survey",
 journal      = "{T}heoretical {C}omputer {S}cience",
 volume       = "121",
 pages        = "279--308",
 doi          = "10.1016/0304-3975(93)90091-7",
)
@article(Knuth:1968:MST,
 author       = "Donald E. Knuth",
 year         = "1968",
 title        = "Semantics of Context-Free Languages",
 journal      = "Mathematical Systems Theory",
 volume       = "2",
 number       = "2",
 pages        = "127--145",
)
@incollection(KnuthBendix:1970,
 author       = "Donald E. Knuth and P. Bendix",
 year         = "1970",
 title        = "Simple Word Problems in Universal Algebras",
 editor       = "J. Leech",
 booktitle    = "Computational Problems in Abstract Algebra",
 publisher    = "Pergamon Press",
 address      = "Elmsford, N.Y.",
 pages        = "263--297",
)
@inproceedings(OkumaMinamide:aplas2003,
 author       = "Koji Okuma and Yasuhiko Minamide",
 year         = "2003",
 title        = "Executing Verified Compiler Specification",
 editor       = "Atsushi Ohori",
 booktitle    = "{APLAS 2003}---First Asian Symposium on Programming Languages and Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "2895",
 publisher    = "Springer",
 address      = "Beijing, China",
 pages        = "178--194",
 doi          = "10.1007/978-3-540-40018-9_13",
)
@misc(Parr:2008:tree,
 author       = "Terence Parr",
 year         = "2008",
 title        = "ANTLR v3 Tree Grammars",
 url          = "http://www.antlr.org/wiki/display/ANTLR3/Tree+construction",
)
@article(PfenningElliot:sn1988,
 author       = "Frank Pfenning and Conal Elliot",
 year         = "1988",
 title        = "Higher-Order Abstract Syntax",
 journal      = "SIGPLAN Notices",
 volume       = "23",
 number       = "7",
 pages        = "199--208",
 doi          = "10.1145/960116.54010",
)
@phdthesis(Rose:1996,
 author       = "Kristoffer H. Rose",
 year         = "1996",
 title        = "Operational Reduction Models for Functional Programming Languages",
 school       = "{DIKU}, University of Copenhagen",
 address      = "Universitetsparken 1, DK-2100 K{\o }benhavn {\O }",
 note         = "\burl {http://krisrose.net/thesis.pdf}",
)
@misc(Rose:hor2007,
 author       = "Kristoffer H. Rose",
 year         = "2007",
 title        = "{CRSX} -- An Open Source Platform for Experimenting with Higher Order Rewriting",
 howpublished = "Presented in absentia at HOR 2007---\burl {http://kristoffer.rose.name/papers}",
)
@misc(CRSX,
 author       = "Kristoffer H. Rose",
 year         = "2010",
 title        = "Combinatory Reduction Systems with Extensions",
 howpublished = "\burl {http://crsx.sourceforge.net}",
)
@techreport(RoseBlooLang:ibm2009,
 author       = "Kristoffer H. Rose and Roel Bloo and Fr\'ed\'eric Lang",
 year         = "2009",
 title        = "On Explicit Substitution with Names",
 type         = "IBM Research Report",
 number       = "RC24909",
 institution  = "IBM Thomas J. Watson Research Center",
 address      = "P.O. Box 704, Yorktown Heights, NY 10598, USA",
 url          = "http://domino.research.ibm.com/library/cyberdig.nsf/reportnumber/rc24909",
 note         = "To appear in Journal of Automated Reasoning",
)
@article(RothEtal:1988:tods,
 author       = "Mark A. Roth and Herry F. Korth and Abraham Silberschatz",
 year         = "1988",
 title        = "Extended algebra and calculus for nested relational databases",
 journal      = "ACM Trans. Database Syst.",
 volume       = "13",
 number       = "4",
 pages        = "389--417",
 doi          = "10.1145/49346.49347",
)