@misc{indiciaea0ac69f81073,
  title = {A Formally Specified Program Logic for Higher-Order Procedural Variables and non-local Jumps},
  author = {Tristan Crolard},
  year = {2011},
  url = {https://arxiv.org/abs/1112.1848},
  note = {Source identifier: 1112.1848}
}