Jacob Matthews, Robby Findler. An operational semantics for Scheme. Journal of Functional Programming, 18(1):47-86, 2008. [doi]
@article{MatthewsF08,
title = {An operational semantics for Scheme},
author = {Jacob Matthews and Robby Findler},
year = {2008},
doi = {10.1017/S0956796807006478},
url = {http://dx.doi.org/10.1017/S0956796807006478},
tags = {PLT Redex, semantics, completeness, denotational semantics, meta-model, modeling language, modeling, language modeling, testing, graph-rewriting, writing, operational semantics, Meta-Environment, rewriting, domain-specific language},
researchr = {https://researchr.org/publication/MatthewsF08},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {18},
number = {1},
pages = {47-86},
}