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