@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",
}