Nielsen, Lasse R. “A Simple Correctness Proof of the Direct-Style Transformation”. BRICS Report Series, bd. 9, nr. 2, januar 2002, doi:10.7146/brics.v9i2.21719.