@inproceedings(Accattoli16,
 author       = {Beniamino Accattoli},
 year         = {2017},
 title        = {The complexity of abstract machines},
 booktitle    = {WPTE 2016},
 series       = {EPTCS},
 volume       = {235},
 pages        = {1--15},
 doi          = {10.4204/EPTCS.235.1},
)
@inproceedings(AccattoliBM14,
 author       = {Beniamino Accattoli and Pablo Barenbaum and Damiano Mazza},
 year         = {2014},
 title        = {Distilling abstract machines},
 booktitle    = {ICFP 2014},
 publisher    = {{ACM}},
 pages        = {363--376},
 doi          = {10.1145/2628136.2628154},
)
@inproceedings(AccattoliB17,
 author       = {Beniamino Accattoli and Bruno Barras},
 year         = {2017},
 title        = {Environments and the complexity of abstract machines},
 booktitle    = {PPDP 2017},
 publisher    = {{ACM}},
 pages        = {4--16},
 doi          = {10.1145/3131851.3131855},
)
@article(AccattoliDL16,
 author       = {Beniamino Accattoli and {Dal Lago}, Ugo},
 year         = {2016},
 title        = {(Leftmost-outermost) beta reduction is invariant, indeed},
 journal      = {Logical Methods in Comp. Sci.},
 volume       = {12},
 number       = {1},
 doi          = {10.2168/LMCS-12(1:4)2016},
)
@inproceedings(AccattoliG09,
 author       = {Beniamino Accattoli and Stefano Guerrini},
 year         = {2009},
 title        = {Jumping boxes},
 booktitle    = {CSL 2009},
 series       = {Lect. Notes Comp. Sci.},
 volume       = {5771},
 publisher    = {Springer},
 pages        = {55--70},
 doi          = {10.1007/978-3-642-04027-6_7},
)
@inproceedings(AccattoliSC14,
 author       = {Beniamino Accattoli and {Sacerdoti Coen}, Claudio},
 year         = {2014},
 title        = {On the value of variables},
 booktitle    = {WoLLIC 2014},
 series       = {Lect. Notes Comp. Sci.},
 volume       = {8652},
 publisher    = {Springer},
 pages        = {36--50},
 doi          = {10.1007/978-3-662-44145-9_3},
)
@article(Cregut07,
 author       = {Pierre Cr{\'{e}}gut},
 year         = {2007},
 title        = {Strongly reducing variants of the {Krivine} abstract machine},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {20},
 number       = {3},
 pages        = {209--230},
 doi          = {10.1007/s10990-007-9015-z},
)
@article(DanosR96,
 author       = {Vincent Danos and Laurent Regnier},
 year         = {1996},
 title        = {Reversible, irreversible and optimal lambda-machines},
 journal      = {Elect. Notes in Theor. Comp. Sci.},
 volume       = {3},
 pages        = {40--60},
 doi          = {10.1016/S1571-0661(05)80402-5},
)
@article(DanvyMMZ12,
 author       = {Olivier Danvy and Kevin Millikin and Johan Munk and Ian Zerny},
 year         = {2012},
 title        = {On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation},
 journal      = {Theor. Comp. Sci.},
 volume       = {435},
 pages        = {21--42},
 doi          = {10.1016/j.tcs.2012.02.023},
)
@inproceedings(DanvyZ13,
 author       = {Olivier Danvy and Ian Zerny},
 year         = {2013},
 title        = {A synthetic operational account of call-by-need evaluation},
 booktitle    = {PPDP 2013},
 publisher    = {{ACM}},
 pages        = {97--108},
 doi          = {10.1145/2505879.2505898},
)
@inproceedings(FernandezM02,
 author       = {Maribel Fern{\'{a}}ndez and Ian Mackie},
 year         = {2002},
 title        = {Call-by-value lambda-graph rewriting without rewriting},
 booktitle    = {ICGT 2002},
 series       = {LNCS},
 volume       = {2505},
 publisher    = {Springer},
 pages        = {75--89},
 doi          = {10.1007/3-540-45832-8_8},
)
@article(FernandezMS05,
 author       = {Maribel Fern{\'{a}}ndez and Ian Mackie and Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
 year         = {2005},
 title        = {Closed reduction: explicit substitutions without alpha-conversion},
 journal      = {Math. Struct. in Comp. Sci.},
 volume       = {15},
 number       = {2},
 pages        = {343--381},
 doi          = {10.1017/S0960129504004633},
)
@article(FernandezS09,
 author       = {Maribel Fern{\'{a}}ndez and Nikolaos Siafakas},
 year         = {2009},
 title        = {New developments in environment machines},
 journal      = {Elect. Notes in Theor. Comp. Sci.},
 volume       = {237},
 pages        = {57--73},
 doi          = {10.1016/j.entcs.2009.03.035},
)
@article(Girard87LL,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Linear logic},
 journal      = {Theor. Comp. Sci.},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@inproceedings(Girard89GoI1,
 author       = {Jean-Yves Girard},
 year         = {1989},
 title        = {Geometry of {Interaction} {I}: interpretation of system {F}},
 booktitle    = {Logic Colloquium 1988},
 series       = {Studies in Logic \& Found. Math.},
 volume       = {127},
 publisher    = {Elsevier},
 pages        = {221--260},
 doi          = {10.1016/S0049-237X(08)70271-4},
)
@inproceedings(HoshinoMH14,
 author       = {Naohiko Hoshino and Koko Muroya and Ichiro Hasuo},
 year         = {2014},
 title        = {Memoryful {Geometry} of {Interaction}: from coalgebraic components to algebraic effects},
 booktitle    = {CSL-LICS 2014},
 publisher    = {ACM},
 pages        = {52:1--52:10},
 doi          = {10.1145/2603088.2603124},
)
@article(KissingerPhD,
 author       = {Aleks Kissinger},
 year         = {2012},
 title        = {Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing},
 journal      = {CoRR},
 volume       = {abs/1203.0202},
 url          = {http://arxiv.org/abs/1203.0202},
)
@article(Landin64,
 author       = {Peter Landin},
 year         = {1964},
 title        = {The mechanical evaluation of expressions},
 journal      = {The Comp. Journ.},
 volume       = {6},
 number       = {4},
 pages        = {308--320},
 doi          = {10.1093/comjnl/6.4.308},
)
@inproceedings(Mackie95,
 author       = {Ian Mackie},
 year         = {1995},
 title        = {The {Geometry} of {Interaction} machine},
 booktitle    = {POPL 1995},
 publisher    = {ACM},
 pages        = {198--208},
 doi          = {10.1145/199448.199483},
)
@article(MaraistOTW99,
 author       = {John Maraist and Martin Odersky and David N. Turner and Philip Wadler},
 year         = {1999},
 title        = {Call-by-name, call-by-value, call-by-need and the linear lambda calculus},
 journal      = {Theor. Comp. Sci.},
 volume       = {228},
 number       = {1-2},
 pages        = {175--210},
 doi          = {10.1016/S0304-3975(98)00358-2},
)
@inproceedings(Mellies06,
 author       = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
 year         = {2006},
 title        = {Functorial boxes in string diagrams},
 booktitle    = {CSL 2006},
 series       = {Lect. Notes Comp. Sci.},
 volume       = {4207},
 publisher    = {Springer},
 pages        = {1--30},
 doi          = {10.1007/11874683_1},
)
@inproceedings(MuroyaG17,
 author       = {Koko Muroya and Dan R. Ghica},
 year         = {2017},
 title        = {The dynamic {Geometry} of {Interaction} machine: a call-by-need graph rewriter},
 booktitle    = {CSL 2017},
 series       = {LIPIcs},
 volume       = {82},
 pages        = {32:1--32:15},
 doi          = {10.4230/LIPIcs.CSL.2017.32},
)
@article(Plotkin75,
 author       = {Gordon Plotkin},
 year         = {1975},
 title        = {Call-by-name, call-by-value and the lambda-calculus},
 journal      = {Theor. Comp. Sci.},
 volume       = {1},
 number       = {2},
 pages        = {125--259},
 doi          = {10.1016/0304-3975(75)90017-1},
)
@inproceedings(Schoepp14b,
 author       = {Ulrich Sch{\"{o}}pp},
 year         = {2014},
 title        = {Call-by-value in a basic logic for interaction},
 booktitle    = {APLAS 2014},
 series       = {Lect. Notes Comp. Sci.},
 volume       = {8858},
 publisher    = {Springer},
 pages        = {428--448},
 doi          = {10.1007/978-3-319-12736-1_23},
)
@article(Sestoft97,
 author       = {Peter Sestoft},
 year         = {1997},
 title        = {Deriving a lazy abstract machine},
 journal      = {J. Funct. Program.},
 volume       = {7},
 number       = {3},
 pages        = {231--264},
 doi          = {10.1017/S0956796897002712},
)
@inproceedings(Sinot05,
 author       = {Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
 year         = {2005},
 title        = {Call-by-name and call-by-value as token-passing interaction nets},
 booktitle    = {TLCA 2005},
 series       = {Lect. Notes Comp. Sci.},
 volume       = {3461},
 publisher    = {Springer},
 pages        = {386--400},
 doi          = {10.1007/11417170_28},
)
@article(Sinot06,
 author       = {Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
 year         = {2006},
 title        = {Call-by-need in token-passing nets},
 journal      = {Math. Struct. in Comp. Sci.},
 volume       = {16},
 number       = {4},
 pages        = {639--666},
 doi          = {10.1017/S0960129506005408},
)