Gordon, A. D., Hankin, P. D., & Lassen, S. B. (1997). Compilation and Equivalence of Imperative Objects. BRICS Report Series, 4(19). https://doi.org/10.7146/brics.v4i19.21677