Danvy, Olivier, og Kevin Millikin. “On the Equivalence Between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion”. BRICS Report Series, bd. 14, nr. 16, november 2007, doi:10.7146/brics.v14i16.21935.