@misc{indiciae49ff28c14590,
  title = {Bilateral Proofs of Safety and Progress Properties of Concurrent Programs},
  author = {Jayadev Misra},
  year = {2017},
  url = {https://arxiv.org/abs/1704.01814},
  note = {Source identifier: 1704.01814}
}