@misc{indiciaee3767a010816,
  title = {Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables},
  author = {Saksham Chand and Yanhong A. Liu},
  year = {2019},
  url = {https://arxiv.org/abs/1802.09687},
  note = {Source identifier: 1802.09687}
}