Johannsen, J. 2008. An Investigation of Abadi and Cardelli’s Untyped Calculus of Objects. BRICS Report Series. 15, 6 (Jun. 2008). DOI:https://doi.org/10.7146/brics.v15i6.21941.