@misc{indiciae13ab3036ca4a,
  title = {Finite Countermodel Based Verification for Program Transformation (A Case Study)},
  author = {Alexei P. Lisitsa and Andrei P. Nemytykh},
  year = {2015},
  doi = {10.4204/eptcs.199.2},
  url = {https://arxiv.org/abs/1512.03859},
  note = {Source identifier: 1512.03859}
}