@inproceedings{DBLP:conf/fossacs/Staton10,
  title = "Completeness for Algebraic Theories of Local State",
  author = "Sam Staton",
  year = "2010",
  booktitle = "Foundations of Software Science and Computational Structures, 13th International Conference, {FOSSACS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings",
  editor = "C.{-}H. Luke Ong",
  pages = "48--63",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-642-12032-9\_5",
  volume = "6014",
  doi = "10.1007/978-3-642-12032-9\_5",
}