Unifying Theories of Objects. - Smith, Michael Anthony; Gibbons, Jeremy (2007)