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