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