Unifying Theories of Objects

Anthony Smith's DPhil topic is Unifying Theories of Objects; he is looking at integrating the ideas of object orientation (as for example in Abadi and Cardelli's σ-calculus) into Hoare and He's Unifying Theories of Programming.