Nielsen, L.R. 2002. A Simple Correctness Proof of the Direct-Style Transformation. BRICS Report Series. 9, 2 (Jan. 2002). DOI:https://doi.org/10.7146/brics.v9i2.21719.