Martín Abadi Luca Cardelli A Theory of Primitive Objects: Untyped and First-Order Systems. 78-102 1996 125 Inf. Comput. 2 db/journals/iandc/iandc125.html#AbadiC96