@inproceedings(clements01,
 author       = {John Clements and Matthew Flatt and Matthias Felleisen},
 year         = {2001},
 title        = {Modeling an algebraic stepper},
 booktitle    = {European symposium on programming},
 organization = {Springer},
 pages        = {320--334},
 doi          = {10.1007/3-540-45309-1_21},
)
@inproceedings(DF1990,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {1990},
 title        = {Abstracting Control},
 booktitle    = {Proceedings of the 1990 ACM Conference on Lisp and Functional Programming},
 series       = {LFP '90},
 pages        = {151--160},
 doi          = {10.1145/91556.91622},
)
@book(felleisen09,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt},
 year         = {2009},
 title        = {Semantics engineering with PLT Redex},
 publisher    = {MIT Press},
)
@inproceedings(FF1986,
 author       = {Matthias Felleisen and Daniel P. Friedman},
 year         = {1986},
 title        = {Control operators, the SECD-machine, and the $\lambda$-calculus},
 editor       = {M. Wirsing},
 booktitle    = {Formal Description of Programming Concepts III},
 publisher    = {Elsevier},
 pages        = {193--219},
 url          = {https://cs.indiana.edu/ftp/techreports/TR197.pdf},
)
@inproceedings(klein12,
 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    = {Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '12},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {285--296},
 doi          = {10.1145/2103656.2103691},
)
@inproceedings(tunnell18,
 author       = {Tunnell Wilson, Preston and Kathi Fisler and Shriram Krishnamurthi},
 year         = {2018},
 title        = {Evaluating the Tracing of Recursion in the Substitution Notional Machine},
 booktitle    = {Proceedings of the 49th ACM Technical Symposium on Computer Science Education},
 series       = {SIGCSE '18},
 organization = {ACM},
 pages        = {1023--1028},
 doi          = {10.1145/3159450.3159479},
)