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