Johannsen, J. An Investigation of Abadi and Cardelli’s Untyped Calculus of Objects. BRICS 2008, 15.