@inbook{vesely-2019-one, title={One Step at a Time: A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts}, ISBN={9783030171841}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-17184-1_8}, DOI={10.1007/978-3-030-17184-1_8}, booktitle={Programming Languages and Systems}, publisher={Springer International Publishing}, author={Vesely, Ferdinand and Fisher, Kathleen}, year={2019}, pages={205–231} }