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