Johannsen, J. “An Investigation of Abadi and Cardelli’s Untyped Calculus of Objects”. BRICS Report Series, vol. 15, no. 6, June 2008, doi:10.7146/brics.v15i6.21941.