@misc{indiciaef90d743613c0,
  title = {Concept of the abstract program},
  author = {T. Gregorics},
  year = {2012},
  url = {https://arxiv.org/abs/1207.6369},
  note = {Source identifier: 1207.6369}
}