@misc{indiciae90a0dff80323,
  title = {Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra},
  author = {Simon Foster and Kangfeng Ye and Ana Cavalcanti and Jim Woodcock},
  year = {2018},
  url = {https://arxiv.org/abs/1806.02101},
  note = {Source identifier: 1806.02101}
}