@misc(Happy,
 title        = {Happy: The parser generator for Haskell},
 howpublished = {\url{https://www.haskell.org/happy/}},
)
@misc(Haskell,
 title        = {Haskell},
 howpublished = {\url{https://www.haskell.org/}},
)
@book(plt-redex,
 author       = {Matthias Felleisen and {Robert B.} Findler and Matthew Flatt},
 year         = {2009},
 title        = {Semantics Engineering with PLT Redex},
 publisher    = {MIT Press},
 doi          = {10.1007/978-1-4612-6228-2},
)
@inproceedings(DBLP:conf/tools/GagnonH98,
 author       = {Etienne M. Gagnon and Laurie J. Hendren},
 year         = {1998},
 title        = {SableCC, an Object-Oriented Compiler Framework},
 booktitle    = {{TOOLS} 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, {USA}},
 publisher    = {{IEEE} Computer Society},
 pages        = {140--154},
 doi          = {10.1109/TOOLS.1998.711009},
)
@book(densem,
 author       = {Michael J. C. Gordon},
 year         = {1979},
 title        = {The denotational description of programming languages - an introduction},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-6228-2},
)
@book(letos,
 author       = {{Pieter H.} Hartel},
 year         = {1999},
 title        = {LETOS -- A Lightweight Execution Tool for Operational Semantics},
 publisher    = {Declarative Systems and Software Engineering Group},
 doi          = {10.1002/(SICI)1097-024X(19991225)29:15<1379::AID-SPE286>3.0.CO;2-V},
 note         = {Imported from DIES},
)
@book(DBLP:books/daglib/0040165,
 author       = {Hans H{\"{u}}ttel},
 year         = {2010},
 title        = {Transitions and Trees - An Introduction to Structural Operational Semantics},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511840449},
)
@inproceedings(Khan1988,
 author       = {Gilles Kahn},
 year         = {1987},
 title        = {Natural Semantics},
 booktitle    = {{STACS} 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings},
 pages        = {22--39},
 doi          = {10.1007/BFb0039592},
)
@book(lexyacc,
 author       = {John R. Levine and Tony Mason and Doug Brown},
 year         = {1992},
 title        = {Lex \& Yacc (2nd Ed.)},
 publisher    = {O’Reilly \& Associates, Inc.},
 address      = {USA},
)
@inproceedings(Meyer03thresholdconcepts,
 author       = {Jan H. F. Meyer and Ray Land},
 year         = {2003},
 title        = {Threshold concepts and troublesome knowledge: linkages to ways of thinking and practicing},
 booktitle    = {In C. Rust (Ed.), Improving},
 publisher    = {Learning Development},
 address      = {Oxford},
)
@misc(OCaml,
 author       = {Yaron Minsky and Anil Madhavapeddy and Jason Hickey},
 year         = {2013},
 title        = {Real World OCaml - Functional Programming for the Masses},
 url          = {http://shop.oreilly.com/product/0636920024743.do\#tab\_04\_2},
)
@inbook(Norell2009,
 author       = {Ulf Norell},
 year         = {2009},
 title        = {Dependently Typed Programming in Agda},
 pages        = {230--266},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-04652-0\_5},
)
@book(Parr13,
 author       = {Terence Parr},
 year         = {2013},
 title        = {The Definitive ANTLR 4 Reference},
 edition      = {2},
 publisher    = {Pragmatic Bookshelf},
 address      = {Raleigh, NC},
)
@inproceedings(RML,
 author       = {Mikael Pettersson},
 year         = {1994},
 title        = {{RML} - {A} New Language and Implementation for Natural Semantics},
 editor       = {Manuel V. Hermenegildo and Jaan Penjam},
 booktitle    = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {844},
 publisher    = {Springer},
 pages        = {117--131},
 doi          = {10.1007/3-540-58402-1\_10},
)
@article(plotkin,
 author       = {Gordon D. Plotkin},
 year         = {2004},
 title        = {A structural approach to operational semantics},
 journal      = {J. Log. Algebraic Methods Program.},
 volume       = {60-61},
 pages        = {17--139},
 doi          = {10.1016/j.jlap.2004.05.001},
)
@misc(menhir,
 author       = {François Pottier and Régis-Gianas, Yann},
 title        = {Menhir},
 howpublished = {\url{http://gallium.inria.fr/~fpottier/menhir/}},
)
@article(DBLP:journals/iandc/SerbanutaRM09,
 author       = {Traian{-}Florin Serbanuta and Grigore Rosu and Jos{\'{e}} Meseguer},
 year         = {2009},
 title        = {A rewriting logic approach to operational semantics},
 journal      = {Inf. Comput.},
 volume       = {207},
 number       = {2},
 pages        = {305--340},
 doi          = {10.1016/j.ic.2008.03.026},
)
@article(VERDEJO2006226,
 author       = {Alberto Verdejo and Martí-Oliet, Narciso},
 year         = {2006},
 title        = {Executable structural operational semantics in Maude},
 journal      = {The Journal of Logic and Algebraic Programming},
 volume       = {67},
 number       = {1},
 pages        = {226--293},
 doi          = {10.1016/j.jlap.2005.09.008},
 note         = {Algebraic Specification},
)