@misc{indiciaeb8ffc0621bbe,
  title = {A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables},
  author = {Tristan Crolard and Emmanuel Polonowski},
  year = {2009},
  url = {https://arxiv.org/abs/0910.1020},
  note = {Source identifier: 0910.1020}
}