@phdthesis{objects-utp,
  title = "Embedding an object calculus in the unifying theories of programming",
  author = "Michael Anthony Smith",
  year = "2010",
  institution = "University of Oxford",
  url = "http://ora.ouls.ox.ac.uk/objects/uuid:8b5be90d-59c1-42c0-a996-ecd8015097b3",
}
@inproceedings{Smith&Gibbons2008:Unifying,
  title = "Unifying Theories of Locations",
  author = "Michael Anthony Smith and Jeremy Gibbons",
  year = "2008",
  address = "Dublin",
  booktitle = "Unifying Theories of Programming",
  editor = "Andrew Butterfield",
  month = "Sep",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/utl.pdf",
  doi = "10.1007/978-3-642-14521-6_10",
}
@inproceedings{Smith&Gibbons2007:Unifying,
  title = "Unifying Theories of Objects",
  author = "Michael Anthony Smith and Jeremy Gibbons",
  year = "2007",
  booktitle = "Integrated Formal Methods",
  editor = "Jim Davies and Jeremy Gibbons",
  pages = "599-618",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/uto.pdf",
  volume = "4591",
}