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