No. 6 (2008): RS-6 An Investigation of Abadi and Cardelli's Untyped Calculus of Objects