@misc{indiciaea3677ddac6ae,
  title = {Kleene Algebra with Tests and Coq Tools for While Programs},
  author = {Damien Pous},
  year = {2013},
  url = {https://arxiv.org/abs/1302.1737},
  note = {Source identifier: 1302.1737}
}