@misc{indiciaed51e2c3f1413,
  title = {Algorithmic Verification of Single-Pass List Processing Programs},
  author = {Rajeev Alur and Pavol Cerny},
  year = {2011},
  url = {https://arxiv.org/abs/1007.4958},
  note = {Source identifier: 1007.4958}
}