@inproceedings(basten,
 author       = "H.J.S. Basten",
 year         = "2010",
 title        = "{Tracking Down the Origins of Ambiguity in Context-Free Grammars}",
 booktitle    = "Proceedings of ICTAC'10",
 series       = "LNCS",
 volume       = "6255",
 publisher    = "Springer-Verlag",
 pages        = "76--90",
 doi          = "10.1007/978-3-642-14808-8\_6",
)
@book(BHK89,
 editor       = "J.A. Bergstra and J. Heering and P. Klint",
 year         = "1989",
 title        = "Algebraic Specification",
 publisher    = "ACM Press/Addison-Wesley",
)
@inproceedings(crocopat,
 author       = "D. Beyer",
 year         = "2006",
 title        = "Relational programming with {CrocoPat}",
 booktitle    = "Proceedings of ICSE'06",
 publisher    = "ACM Press",
 pages        = "807--810",
 doi          = "10.1145/1134285.1134420",
)
@inproceedings(elan,
 author       = "P. Borovansk\'{y} and C. Kirchner and H. Kirchner and P.-E. Moreau and C. Ringeissen",
 year         = "1998",
 title        = "An Overview of {ELAN}",
 booktitle    = "Proceedings of WRLA'98",
 series       = "ENTCS",
 volume       = "15",
 publisher    = "Elsevier",
 doi          = "10.1016/S1571-0661(05)82552-6",
)
@inproceedings(vdBosVdStorm11,
 author       = "J. van den Bos and T. van der Storm",
 year         = "2011",
 title        = "{Bringing Domain-Specific Languages to Digital Forensics}",
 booktitle    = "Proceedings of ICSE'11",
 publisher    = "ACM Press",
 pages        = "671--680",
 doi          = "10.1145/1985793.1985887",
)
@inproceedings(MetaEnv07,
 author       = "M.G.J. van den Brand and M. Bruntink and G.R. Economopoulos and H.A. de Jong and P. Klint and T. Kooiker and T. van der Storm and J.J. Vinju",
 year         = "2007",
 title        = "Using {T}he {M}eta-Environment for {M}aintenance and {R}enovation",
 booktitle    = "Proceedings of CSMR'07",
 publisher    = "IEEE",
 pages        = "331--332",
 doi          = "10.1109/CSMR.2007.52",
)
@inproceedings(BDHJJKKMOSVVV01,
 author       = "M.G.J. van den Brand and A. van Deursen and J. Heering and H.A. de Jong and M. de Jonge and T. Kuipers and P. Klint and L. Moonen and P.A. Olivier and J. Scheerder and J.J. Vinju and E. Visser and J. Visser",
 year         = "2001",
 title        = "The {ASF}+{SDF} {M}eta-{E}nvironment: a {C}omponent-{B}ased {L}anguage {D}evelopment {E}nvironment",
 booktitle    = "Proceedings of CC '01",
 series       = "LNCS",
 volume       = "2027",
 publisher    = "Springer-Verlag",
 pages        = "365--370",
 doi          = "10.1007/3-540-45306-7\_26",
)
@article(vandenBrand:2003dm,
 author       = "M.G.J. van den Brand and P. Klint and J.J. Vinju",
 year         = "2003",
 title        = "{Term rewriting with traversal functions}",
 journal      = "ACM Transactions on Software Engineering and Methodology",
 volume       = "12",
 number       = "2",
 pages        = "152--190",
 doi          = "10.1145/941566.941568",
)
@inproceedings(BDKKM96.ind,
 author       = "M.G.J. van den Brand and A. van Deursen and P. Klint and S. Klusener and E.A. van der Meulen",
 year         = "1996",
 title        = "Industrial Applications of {ASF+SDF}",
 booktitle    = "Proceedings of AMAST'96",
 series       = "LNCS",
 volume       = "1101",
 publisher    = "Springer-Verlag",
 pages        = "9--18",
 doi          = "10.1007/BFb0014303",
)
@article(asfcompiler,
 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} Transactions on Programming Languages and Systems",
 volume       = "24",
 number       = "4",
 pages        = "334--368",
 doi          = "10.1145/567097.567099",
)
@article(aterms,
 author       = "{M.G.J. van den} Brand and {H.A. de} Jong and P. Klint and P.A. Olivier",
 year         = "2000",
 title        = "{E}fficient {A}nnotated {T}erms",
 journal      = "Software, {P}ractice \& {E}xperience",
 volume       = "30",
 number       = "3",
 pages        = "259--291",
 doi          = "10.1002/(SICI)1097-024X(200003)30:3\%3C259::AID-SPE298\%3E3.0.CO;2-Y",
)
@book(ECore,
 author       = "F. Budinsky and S.A. Brodsky and E. Merks",
 year         = "2003",
 title        = "Eclipse Modeling Framework",
 publisher    = "Pearson Education",
)
@inproceedings(IMP,
 author       = "Ph. Charles and R.M. Fuhrer and S.M. Sutton, Jr. and E. Duesterwald and J. Vinju",
 year         = "2009",
 title        = "{Accelerating the Creation of Customized, Language-Specific IDEs in Eclipse}",
 booktitle    = "Proceedings of OOPSLA'09",
 publisher    = "ACM Press",
 pages        = "191--206",
 doi          = "10.1145/1640089.1640104",
)
@article(maude,
 author       = "M. Clavel and F. Dur{\'a}n and S. Eker and P. Lincoln and N. Mart{\'\i }-Oliet and J. Meseguer and J. F. Quesada",
 year         = "2002",
 title        = "{Maude}: Specification and Programming in Rewriting Logic",
 journal      = "Theoretical Computer Science",
 volume       = "285",
 number       = "2",
 pages        = "187--243",
 doi          = "10.1016/S0304-3975(01)00359-0",
)
@proceedings(DBLP:conf/maude/2007,
 editor       = "M. Clavel and F. Dur{\'a}n and S. Eker and P. Lincoln and N. Mart\'{\i }-Oliet and J. Meseguer and C.L. Talcott",
 year         = "2007",
 title        = "{All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}",
 series       = "LNCS",
 volume       = "4350",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-3-540-71999-1",
)
@inproceedings(txl,
 author       = "J.R. Cordy",
 year         = "2011",
 title        = "Excerpts from the {TXL} cookbook",
 booktitle    = "Post-Proceedings of GTTSE'09",
 series       = "LNCS",
 volume       = "6491",
 publisher    = "Springer-Verlag",
 pages        = "27--91",
 doi          = "10.1007/978-3-642-18023-1\_2",
)
@book(DHK96,
 editor       = "{A. van} Deursen and J. Heering and P. Klint",
 year         = "1996",
 title        = "Language Prototyping: An Algebraic Specification Approach",
 series       = "AMAST Series in Computing",
 volume       = "5",
 publisher    = "World Scientific",
)
@inproceedings(Goguen79,
 author       = "J. Goguen",
 year         = "1979",
 title        = "Some design principles and theory for {OBJ}-0, a language for expressing and executing algebraic specifications of programs",
 booktitle    = "Mathematical Studies of Information Processing",
 series       = "LNCS",
 volume       = "75",
 pages        = "425--473",
 doi          = "10.1007/3-540-09541-1\_36",
)
@article(HHKR89,
 author       = "J. Heering and P.R.H. Hendriks and P. Klint and J. Rekers",
 year         = "1989",
 title        = "{T}he syntax definition formalism {SDF} - reference manual",
 journal      = "SIGPLAN Notices",
 volume       = "24",
 number       = "11",
 pages        = "43--75",
 doi          = "10.1145/71605.71607",
)
@inproceedings(hills-klint-vinju-sle11,
 author       = "M. Hills and P. Klint and J.J. Vinju",
 year         = "2011",
 title        = "{RLSRunner: Linking Rascal with K for Program Analysis}",
 booktitle    = "Proceedings of SLE'11",
 series       = "LNCS",
 publisher    = "Springer-Verlag",
 note         = "To Appear",
)
@inproceedings(hills-rosu-rta-2010,
 author       = "M. Hills and G. Ro\c {s}u",
 year         = "2010",
 title        = "A {Rewriting} {Logic} {Semantics} {Approach} {To} {Modular} {Program} {Analysis}",
 booktitle    = "Proceedings of RTA'10",
 series       = "Leibniz International Proceedings in Informatics",
 volume       = "6",
 publisher    = "Schloss Dagstuhl - Leibniz Center of Informatics",
 pages        = "151 -- 160",
 doi          = "10.4230/LIPIcs.RTA.2010.151",
)
@article(Hoffmann:1982:PE:357153.357158,
 author       = "C.M. Hoffmann and M.J. O'Donnell",
 year         = "1982",
 title        = "Programming with Equations",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "4",
 number       = "1",
 pages        = "83--112",
 doi          = "10.1145/357153.357158",
)
@inproceedings(grok,
 author       = "R.C. Holt",
 year         = "2008",
 title        = "{Grokking Software Architecture}",
 booktitle    = "Proceedings of WCRE'08",
 publisher    = "IEEE",
 pages        = "5--14",
 doi          = "10.1109/WCRE.2008.34",
)
@article(klint93,
 author       = "P. Klint",
 year         = "1993",
 title        = "A Meta-Environment for Generating Programming Environments",
 journal      = "ACM Transactions on Software Engineering and Methodology",
 volume       = "2",
 number       = "2",
 pages        = "176--201",
 doi          = "10.1145/151257.151260",
)
@inproceedings(rscript,
 author       = "P. Klint",
 year         = "2008",
 title        = "Using {Rscript} for Software Analysis",
 booktitle    = "Working Session on Query Technologies and Applications for Program Comprehension (QTAPC 2008)",
)
@inproceedings(rascalscam,
 author       = "P. Klint and T. van der Storm and J.J. Vinju",
 year         = "2009",
 title        = "{RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation}",
 booktitle    = "Proceedings of SCAM'09",
 publisher    = "IEEE",
 pages        = "168--177",
 doi          = "10.1109/SCAM.2009.28",
)
@incollection(KvdSV-Rascal11,
 author       = "P. Klint and T. van der Storm and J.J. Vinju",
 year         = "2011",
 title        = "{{EASY} Meta-programming with {Rascal}}",
 booktitle    = "Post-Proceedings of GTTSE'09",
 series       = "LNCS",
 volume       = "6491",
 publisher    = "Springer-Verlag",
 pages        = "222--289",
 doi          = "10.1007/978-3-642-18023-1\_6",
)
@article(meseguer-jtcs-1992,
 author       = "J. Meseguer",
 year         = "1992",
 title        = "{Conditional rewriting logic as a unified model of concurrency}",
 journal      = "Theoretical Computer Science",
 volume       = "96",
 number       = "1",
 pages        = "73--155",
 doi          = "10.1016/0304-3975(92)90182-F",
)
@inproceedings(DBLP:conf/csl/OHearnRY01,
 author       = "P.W. O'Hearn and J.C. Reynolds and H. Yang",
 year         = "2001",
 title        = "{Local Reasoning about Programs that Alter Data Structures}",
 booktitle    = "Proceedings of CSL'01",
 series       = "LNCS",
 volume       = "2142",
 publisher    = "Springer-Verlag",
 pages        = "1--19",
 doi          = "10.1007/3-540-44802-0\_1",
)
@inproceedings(antlr,
 author       = "T. Parr and K.S. Fisher",
 year         = "2011",
 title        = "{LL(*)}: The Foundation of the {ANTLR} Parser Generator",
 booktitle    = "Proceedings of PLDI'11",
 publisher    = "ACM Press",
 pages        = "425--436",
 doi          = "10.1145/1993498.1993548",
)
@inproceedings(DBLP:conf/amast/RosuES10,
 author       = "G. Ro\c {s}u and C. Ellison and W. Schulte",
 year         = "2011",
 title        = "{Matching Logic: An Alternative to Hoare/Floyd Logic}",
 booktitle    = "Proceedings of AMAST'10",
 series       = "LNCS",
 volume       = "6486",
 publisher    = "Springer-Verlag",
 pages        = "142--162",
 doi          = "10.1007/978-3-642-17796-5\_9",
)
@article(rosu-serbanuta-2010-jlap,
 author       = "G. Ro{\c s}u and T.F. {\c S}erb{\u a}nu{\c t}{\u a}",
 year         = "2010",
 title        = "{An Overview of the {K} Semantic Framework}",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "79",
 number       = "6",
 pages        = "397--434",
 doi          = "10.1016/j.jlap.2010.03.012",
)
@phdthesis(eelco,
 author       = "E. Visser",
 year         = "1997",
 title        = "Syntax Definition for Language Prototyping",
 school       = "University of Amsterdam",
)
@incollection(stratego,
 author       = "E. Visser",
 year         = "2004",
 title        = "Program Transformation with {Stratego/XT}: Rules, Strategies, Tools, and Systems in {StrategoXT-0.9}",
 booktitle    = "Domain-Specific Program Generation",
 series       = "LNCS",
 volume       = "3016",
 publisher    = "Spinger-Verlag",
 pages        = "216--238",
 doi          = "10.1007/978-3-540-25935-0\_13",
)