@article(tokenpassing,
 author       = {Jos{\'e}~Bacelar Almeida and Jorge~Sousa Pinto and Vila{\c{c}}a, Miguel},
 year         = {2008},
 title        = {Token-passing nets for functional languages},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {204},
 pages        = {181--198},
 doi          = {10.1016/j.entcs.2008.03.061},
)
@book(optimal,
 author       = {Andrea Asperti and Stefano Guerrini},
 year         = {1998},
 title        = {The optimal implementation of functional programming languages},
 series       = {Cambridge Tracts in Theoretical Computer Science No.~45},
 publisher    = {Cambridge University Press},
)
@article(amb,
 author       = {Maribel Fern\'{a}ndez and Lionel Khalil},
 year         = {2003},
 title        = {Interaction Nets with McCarthy's Amb: Properties and Applications},
 journal      = {Nordic J. of Computing},
 volume       = {10},
 number       = {2},
 pages        = {134--162},
)
@incollection(calculus,
 author       = {Maribel Fern{\'a}ndez and Ian Mackie},
 year         = {1999},
 title        = {A calculus for interaction nets},
 booktitle    = {Principles and Practice of Declarative Programming},
 publisher    = {Springer},
 pages        = {170--187},
 doi          = {10.1007/10704567},
)
@article(closed,
 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      = {Mathematical Structures in Computer Science},
 volume       = {15},
 number       = {2},
 pages        = {343--381},
 doi          = {10.1017/S0960129504004633},
)
@inproceedings(lafont,
 author       = {Yves Lafont},
 year         = {1990},
 title        = {Interaction nets},
 booktitle    = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 organization = {ACM},
 pages        = {95--108},
 doi          = {10.1145/96709.96718},
)
@inproceedings(lamping,
 author       = {John Lamping},
 year         = {1990},
 title        = {An algorithm for optimal lambda calculus reduction},
 booktitle    = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 organization = {ACM},
 pages        = {16--30},
 doi          = {10.1145/96709.96711},
)
@inproceedings(lawall,
 author       = {Julia~L Lawall and Harry~G Mairson},
 year         = {1996},
 title        = {Optimality and inefficiency: what isn't a cost model of the lambda calculus?},
 booktitle    = {Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP'96), Philadelphia, Pennsylvania, May 24--26, 1996},
 organization = {Pearson Education},
 pages        = {92},
 doi          = {10.1145/232627.232639},
)
@phdthesis(levy,
 author       = {Jean-Jacques L{\'e}vy},
 year         = {1978},
 title        = {R{\'e}ductions correctes et optimales dans le lambda-calcul},
)
@incollection(strategies,
 author       = {Ian Mackie},
 year         = {2005},
 title        = {Encoding strategies in the lambda calculus with interaction nets},
 booktitle    = {Implementation and Application of Functional Languages},
 series       = {Lecture Notes in Computer Science},
 volume       = {4015},
 publisher    = {Springer},
 pages        = {19--36},
 doi          = {10.1007/11964681},
)
@article(mlc,
 author       = {Anton Salikhmetov},
 year         = {2015},
 title        = {Macro Lambda Calculus},
 url          = {http://arxiv.org/abs/1304.2290},
)
@incollection(sinot1,
 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    = {Typed Lambda Calculi and Applications},
 publisher    = {Springer},
 pages        = {386--400},
 doi          = {10.1007/11417170},
)
@article(sinot2,
 author       = {Fran{\c{c}}ois-R{\'e}gis Sinot},
 year         = {2006},
 title        = {Token-passing nets: Call-by-need for free},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {135},
 number       = {3},
 pages        = {129--139},
 doi          = {10.1016/j.entcs.2005.09.027},
)