J. Johannsen, “An Investigation of Abadi and Cardelli’s Untyped Calculus of Objects”, BRICS, vol. 15, no. 6, Jun. 2008.