Biernacka, Malgorzata, og Olivier Danvy. “A Syntactic Correspondence Between Context-Sensitive Calculi and Abstract Machines”. BRICS Report Series, bd. 12, nr. 22, juli 2005, doi:10.7146/brics.v12i22.21888.