Gordon, A. D., P. D. Hankin, and S. B. Lassen. “Compilation and Equivalence of Imperative Objects”. BRICS Report Series, vol. 4, no. 19, July 1997, doi:10.7146/brics.v4i19.21677.