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

Unifying Theories of Locations. - Michael Anthony Smith; Jeremy Gibbons (UTP, 2008)

Embedding an object calculus in the unifying theories of programming. - Michael Anthony Smith (2010)