@inproceedings(backus:1959:BNF,
 author       = {John W. Backus},
 year         = {1959},
 title        = {{The Syntax and Semantics of the Proposed International Algebraic Language of the Zurich ACM-GAMM Conference}},
 booktitle    = {Proc. Int. Conf. Information Processing},
 publisher    = {UNESCO},
 pages        = {125--132},
)
@article(basten:2015:mlir,
 author       = {H. J. S. Basten and J. van den Bos and M. A. Hills and P. Klint and A. W. Lankamp and B. Lisser and A. J. van der Ploeg and T. van der Storm and J. J. Vinju},
 year         = {2015},
 title        = {{Modular Language Implementation in Rascal -- Experience Report}},
 journal      = {Science of Computer Programming},
 volume       = {114},
 pages        = {7--19},
 doi          = {10.1016/j.scico.2015.11.003},
)
@inproceedings(chalub:2007:MMT,
 author       = {Fabricio Chalub and Christiano Braga},
 year         = {2007},
 title        = {{Maude MSOS Tool}},
 booktitle    = {Proc. Int. Work. Rewriting Logic and its Applications},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {176},
 publisher    = {Elsevier Science Publishers B. V.},
 pages        = {133--146},
 doi          = {10.1016/j.entcs.2007.06.012},
)
@book(cockburn:2006:agile,
 author       = {Alistair Cockburn},
 year         = {2007},
 title        = {{Agile Software Development: The Cooperative Game}},
 edition      = {2\textsuperscript{nd}},
 publisher    = {Pearson Education},
)
@book(dubuisson:2000:ASN1,
 author       = {Olivier Dubuisson},
 year         = {2000},
 title        = {{ASN.1 -- Communication between Heterogeneous Systems}},
 publisher    = {OSS Nokalva},
 url          = {http://www.oss.com/asn1/dubuisson.html},
 note         = {Translated from French by Philippe Fouquart},
)
@book(felleisen:2009:SEwPR,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt},
 year         = {2009},
 title        = {{Semantics Engineering with PLT Redex}},
 publisher    = {The MIT Press},
)
@techreport(flatt:2010:racket-reference,
 author       = {Matthew Flatt and {PLT}},
 year         = {2010},
 title        = {{Reference: Racket}},
 type         = {PLT-TR},
 number       = {2010-1},
 institution  = {PLT Design Inc.},
 note         = {\url{https://racket-lang.org/tr1/}},
)
@inbook(peano:1889:tpoa,
 author       = {Jean van Heijenoort},
 year         = {2002},
 title        = {{From Frege to G\IeC{\"o}del: A Source Book in Mathematical Logic, 1879-1931}},
 chapter      = {Peano (1889). The principles of arithmetic, presented by a new method},
 series       = {Source Books in the History of the Sciences},
 publisher    = {Harvard University Press},
 note         = {A translation and excerpt of Peano's 1889 paper "Arithmetices principia, nova methodo exposita"},
)
@inbook(jezequel:2011:mdlewK,
 author       = {Jean-Marc J{\'e}z{\'e}quel and Olivier Barais and Franck Fleurey},
 year         = {2011},
 title        = {{Summer School on Generative and Transformational Techniques in Software Engineering}},
 chapter      = {{Model Driven Language Engineering with Kermeta}},
 pages        = {201--221},
 series       = {Lecture Notes in Computer Science},
 volume       = {6491},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/978-3-642-18023-1\_5},
)
@article(jezequel:2013:mm,
 author       = {Jean-Marc J{\'e}z{\'e}quel and Benoit Combemale and Olivier Barais and Martin Monperrus and Fran{\c{c}}ois Fouquet},
 year         = {2013},
 title        = {{Mashup of metalanguages and its implementation in the Kermeta language workbench}},
 journal      = {Software \& Systems Modeling},
 volume       = {14},
 number       = {2},
 pages        = {905--920},
 doi          = {10.1007/s10270-013-0354-4},
)
@techreport(ISO/IEC:8824-1:2015,
 author       = {{Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 6, Telecommunications and information exchange between systems}},
 year         = {2015},
 title        = {{Information technology -- Abstract Syntax Notation One (ASN.1): Specification of basic notation}},
 type         = {International Standard},
 number       = {8824-1},
 institution  = {ISO/IEC},
 note         = {{ISO/IEC} version of ITU-T X.680 (08/2015)},
)
@techreport(Sun:2004:JSR133,
 author       = {{JSR-133 expert group}},
 year         = {2004},
 title        = {{JSR-133 Java{\texttrademark} Memory Model and Thread Specification Revision}},
 type         = {Java Specification Request (JSR)},
 number       = {133},
 institution  = {{Sun Microsystems, Inc.}},
 note         = {\url{https://jcp.org/en/jsr/detail?id=133}},
)
@inproceedings(klein:2012:ryr,
 author       = {Casey Klein and John Clements and Christos Dimoulas and Carl Eastlund and Matthias Felleisen and Matthew Flatt and Jay A. McCarthy and Jon Rafkind and Tobin-Hochstadt, Sam and Robert Bruce Findler},
 year         = {2012},
 title        = {{Run Your Research: On the Effectiveness of Lightweight Mechanization}},
 booktitle    = {Proc. Symp. Principles of Programming Languages},
 series       = {SIGPLAN Not.},
 volume       = {47},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {285--296},
 doi          = {10.1145/2103656.2103691},
)
@incollection(klint:2009:t2gmt,
 author       = {P. Klint},
 year         = {2009},
 title        = {{Tribute to a great Meta-Technologist: from Centaur to The Meta-Environment}},
 editor       = {Y. Bertot and G. Huet and J.-J. Levy and G. Plotkin},
 booktitle    = {From Semantics to Computer Science, Essays in Honour of Gilles Kahn},
 publisher    = {Cambridge University Press},
 pages        = {235--264},
 doi          = {10.1017/CBO9780511770524.012},
)
@inproceedings(klint:2011:RLSRunner,
 author       = {P. Klint and J. J. Vinju and M. A. Hills},
 year         = {2011},
 title        = {{RLSRunner: Linking Rascal with K for Program Analysis}},
 booktitle    = {Proc. Int. Conf. Software Language Engineering},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-28830-2\_19},
)
@inproceedings(klint:2009:RASCAL,
 author       = {Paul Klint and Tijs van der Storm and Jurgen Vinju},
 year         = {2009},
 title        = {{RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation}},
 booktitle    = {Proc. Int. Working Conf. Source Code Analysis and Manipulation},
 publisher    = {IEEE Computer Society},
 pages        = {168--177},
 doi          = {10.1109/SCAM.2009.28},
)
@article(knuth:1964:BNFvsBNF,
 author       = {Donald E. Knuth},
 year         = {1964},
 title        = {{Backus Normal Form vs. Backus Naur Form}},
 journal      = {Commun. ACM},
 volume       = {7},
 number       = {12},
 pages        = {735--736},
 doi          = {10.1145/355588.365140},
)
@techreport(le-guernic:2016:erfspflukf,
 author       = {Le Guernic, Gurvan and Jos\IeC{\'e} A. Galindo},
 year         = {2016},
 title        = {{Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework}},
 type         = {Research report},
 number       = {8967},
 institution  = {Inria},
 note         = {\url{https://hal.inria.fr/hal-01385541v1}},
)
@inproceedings(mulligan:2014:Lem,
 author       = {Dominic P. Mulligan and Scott Owens and Kathryn E. Gray and Tom Ridge and Peter Sewell},
 year         = {2014},
 title        = {{Lem: Reusable Engineering of Real-world Semantics}},
 booktitle    = {Proc. Int. Conf. Functional Programming},
 series       = {SIGPLAN Not.},
 volume       = {49},
 publisher    = {ACM},
 pages        = {175--188},
 doi          = {10.1145/2692915.2628143},
)
@article(rosu:2010:K-overview,
 author       = {Ro{\c s}u, Grigore and {\c S}erb{\u a}nu{\c t}{\u a}, Traian Florin},
 year         = {2010},
 title        = {{An Overview of the $\mathbb{K}$ Semantic Framework}},
 journal      = {The Journal of Logic and Algebraic Programming},
 volume       = {79},
 number       = {6},
 pages        = {397--434},
 doi          = {10.1016/j.jlap.2010.03.012},
)
@inproceedings(rosu:2014:K-overview,
 author       = {Ro\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ş}intopreamble]u, Grigore and \begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{Ş}intopreamble]erb\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ă}intopreamble]nu\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ţ}intopreamble]\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ă}intopreamble], Traian Florin},
 year         = {2014},
 title        = {{$\mathbb{K}$ Overview and SIMPLE Case Study}},
 booktitle    = {Proc. Int. Work. K Framework and its Applications (K 2011)},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {304},
 pages        = {3--56},
 doi          = {10.1016/j.entcs.2014.05.002},
)
@article(schmidt:1996:pls,
 author       = {David A. Schmidt},
 year         = {1996},
 title        = {{Programming Language Semantics}},
 journal      = {ACM Computing Surveys},
 volume       = {28},
 number       = {1},
 doi          = {10.1145/234313.234419},
)
@article(sewell:2010:Ott,
 author       = {Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Gilles Peskine and Thomas Ridge and Susmit Sarkar and Strni\v{s}a, Rok},
 year         = {2010},
 title        = {{Ott: Effective Tool Support for the Working Semanticist}},
 journal      = {J. Functional Programming},
 volume       = {20},
 number       = {1},
 pages        = {71--122},
 doi          = {10.1017/S0956796809990293},
)
@book(shamieh:2014:continuous-engineering,
 author       = {Cathleen Shamieh},
 year         = {2014},
 title        = {{Continuous Engineering For Dummies\textsuperscript{\textregistered}}},
 series       = {IBM Limited Edition},
 publisher    = {John Wiley \& Sons, Inc},
)
@techreport(storm:2008:Meta-Env,
 author       = {T. van der Storm and J. J. Vinju},
 year         = {2008},
 title        = {{Using the Meta-Environment for Domain Specific Language Engineering}},
 type         = {Technical Report},
 number       = {SEN-R0805},
 institution  = {CWI Software Engineering},
)
@article(serbanuta:2014:K-primer,
 author       = {\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{Ş}intopreamble]erb\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ă}intopreamble]nu\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ţ}intopreamble]\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ă}intopreamble], Traian Florin and Andrei Arusoaie and David Lazar and Chucky Ellison and Dorel Lucanu and Ro\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ş}intopreamble]u, Grigore},
 year         = {2014},
 title        = {{The $\mathbb{K}$ Primer (version 3.3)}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {304},
 pages        = {57--80},
 doi          = {10.1016/j.entcs.2014.05.003},
 note         = {Proc. Int. Work. K Framework and its Applications (K 2011)},
)