@inproceedings{DBLP:journals/entcs/Staton09,
  title = "Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names",
  author = "Sam Staton",
  year = "2009",
  booktitle = "Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009",
  editor = "Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi",
  pages = "471--490",
  publisher = "Elsevier",
  series = "Electronic Notes in Theoretical Computer Science",
  url = "https://doi.org/10.1016/j.entcs.2009.07.103",
  volume = "249",
  doi = "10.1016/j.entcs.2009.07.103",
}