@misc{indiciaed22c917ae791,
  title = {A New Perspective for Hoare's Logic and Peano's Arithmetic},
  author = {Zhaowei Xu},
  year = {2013},
  url = {https://arxiv.org/abs/1311.4617},
  note = {Source identifier: 1311.4617}
}