@misc{indiciae449afa54f99b,
  title = {Formal Support for Standardizing Protocols with State},
  author = {Joshua D. Guttman and Moses D. Liskov and John D. Ramsdell and Paul D. Rowe},
  year = {2015},
  doi = {10.1007/978-3-319-27152-1\_13},
  url = {https://arxiv.org/abs/1509.07552},
  note = {Source identifier: 1509.07552}
}