Johannsen, Jacob. “An Investigation of Abadi and Cardelli’s Untyped Calculus of Objects”. BRICS Report Series 15, no. 6 (June 12, 2008). Accessed March 28, 2024. https://tidsskrift.dk/brics/article/view/21941.