@inproceedings(DBLP:conf/ppdp/AgerBDM03,
 author       = {Mads Sig Ager and Dariusz Biernacki and Olivier Danvy and Jan Midtgaard},
 year         = {2003},
 title        = {A functional correspondence between evaluators and abstract machines},
 booktitle    = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden},
 publisher    = {{ACM}},
 pages        = {8--19},
 doi          = {10.1145/888251.888254},
)
@article(DBLP:journals/tocl/BiernackaD07,
 author       = {Malgorzata Biernacka and Olivier Danvy},
 year         = {2007},
 title        = {A concrete framework for environment machines},
 journal      = {{ACM} Transactions on Computational Logic},
 volume       = {9},
 number       = {1},
 pages        = {1--30},
 doi          = {10.1145/1297658.1297664},
)
@article(DBLP:journals/tcs/BiernackaD07,
 author       = {Malgorzata Biernacka and Olivier Danvy},
 year         = {2007},
 title        = {A syntactic correspondence between context-sensitive calculi and abstract machines},
 journal      = {Theoretical Computer Science},
 volume       = {375},
 number       = {1-3},
 pages        = {76--108},
 doi          = {10.1016/j.tcs.2006.12.028},
)
@inproceedings(citeulike:4128,
 author       = {Olivier Danvy},
 year         = {2004},
 title        = {On Evaluation Contexts, Continuations, and the Rest of the Computation},
 editor       = {Hayo Thielecke},
 booktitle    = {ACM-SIGPLAN Continuations Workshop (CW'04)},
 volume       = {Technical report CSR-04-1},
 address      = {School of Computer Science, University of Birmingham, United Kingdom},
 pages        = {13--23},
 url          = {http://cs.au.dk/~danvy/DSc/29_danvy_cw-2004.pdf},
)
@incollection(danvyevalcontinue,
 author       = {Olivier Danvy},
 year         = {2009},
 title        = {Towards Compatible and Interderivable Semantic Specifications for the {S}cheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines},
 editor       = {Jens Palsberg},
 booktitle    = {Semantics and Algebraic Specification},
 series       = {Lecture Notes in Computer Science},
 volume       = {5700},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {162--185},
 doi          = {10.1007/978-3-642-04164-8\_9},
)
@article(DBLP:journals/ipl/DanvyM08,
 author       = {Olivier Danvy and Kevin Millikin},
 year         = {2008},
 title        = {On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion},
 journal      = {Information Processing Letters},
 volume       = {106},
 number       = {3},
 pages        = {100--109},
 doi          = {10.1016/j.ipl.2007.10.010},
)
@techreport(BRICS-RS-04-26,
 author       = {Olivier Danvy and Lasse R. Nielsen},
 year         = {2004},
 title        = {Refocusing in Reduction Semantics},
 type         = {Technical Report},
 number       = {RS-04-26},
 institution  = {Basic Research in Computer Science (BRICS)},
 address      = {University of Aarhus, Denmark},
 url          = {http://www.brics.dk/RS/04/26/BRICS-RS-04-26.pdf},
)
@article(DBLP:journals/jfp/EncinaP09,
 author       = {Alberto de la Encina and Pe{\~{n}}a{-}Mar{\'{\i}}, Ricardo},
 year         = {2009},
 title        = {From natural semantics to {C:} {A} formal derivation of two {STG} machines},
 journal      = {Journal of Functional Programming},
 volume       = {19},
 number       = {1},
 pages        = {47--94},
 doi          = {10.1017/S0956796808006746},
)
@article(DBLP:journals/jfp/Jones92a,
 author       = {Simon L. Peyton Jones},
 year         = {1992},
 title        = {Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine},
 journal      = {Journal of Functional Programming},
 volume       = {2},
 number       = {2},
 pages        = {127--202},
 doi          = {10.1017/S0956796800000319},
)
@article(DBLP:journals/lisp/Krivine07,
 author       = {Jean{-}Louis Krivine},
 year         = {2007},
 title        = {A call-by-name lambda-calculus machine},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {20},
 number       = {3},
 pages        = {199--207},
 doi          = {10.1007/s10990-007-9018-9},
)
@techreport(Leroy-ZINC,
 author       = {Xavier Leroy},
 year         = {1990},
 title        = {The {ZINC} experiment: an economical implementation of the {ML} language},
 type         = {Technical report},
 number       = {117},
 institution  = {INRIA},
 url          = {http://gallium.inria.fr/~xleroy/publi/ZINC.pdf},
)
@article(DBLP:journals/jfp/MarlowJ06,
 author       = {Simon Marlow and Simon L. Peyton Jones},
 year         = {2006},
 title        = {Making a fast curry: push/enter vs. eval/apply for higher-order languages},
 journal      = {Journal of Functional Programming},
 volume       = {16},
 number       = {4-5},
 pages        = {415--449},
 doi          = {10.1017/S0956796806005995},
)
@inproceedings(DBLP:conf/haskell/PirogB10,
 author       = {Maciej Pir{\'{o}}g and Dariusz Biernacki},
 year         = {2010},
 title        = {A systematic derivation of the {STG} machine verified in Coq},
 editor       = {Jeremy Gibbons},
 booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010},
 publisher    = {{ACM}},
 pages        = {25--36},
 doi          = {10.1145/1863523.1863528},
)
@inproceedings(DBLP:conf/ifl/SieczkowskiBB10,
 author       = {Filip Sieczkowski and Malgorzata Biernacka and Dariusz Biernacki},
 year         = {2010},
 title        = {Automating Derivations of Abstract Machines from Reduction Semantics: {A} Generic Formalization of Refocusing in Coq},
 editor       = {Jurriaan Hage and Marco T. Moraz{\'{a}}n},
 booktitle    = {Implementation and Application of Functional Languages---22nd International Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {6647},
 publisher    = {Springer},
 pages        = {72--88},
 doi          = {10.1007/978-3-642-24276-2\_5},
)