Gordon, A. D., P. D. Hankin, and S. B. Lassen. “Compilation and Equivalence of Imperative Objects (Revised Report)”. BRICS Report Series, vol. 5, no. 55, Dec. 1998, doi:10.7146/brics.v5i55.19500.