Gordon, Andrew D., Paul D. Hankin, and Søren B. Lassen. 1997. “Compilation and Equivalence of Imperative Objects”. BRICS Report Series 4 (19). https://doi.org/10.7146/brics.v4i19.21677.