@misc{indiciae1c6952d35fb3,
  title = {Reactive Turing Machines},
  author = {Jos C. M. Baeten and Bas Luttik and Paul van Tilburg},
  year = {2013},
  url = {https://arxiv.org/abs/1104.1738},
  note = {Source identifier: 1104.1738}
}