Michael Anthony Smith, Jeremy Gibbons: Unifying Theories of Objects. IFM 2007: 599-618