Unifying Theories of Objects - Smith, M; Gibbons, J (Integrated Formal Methods, 2007)