@misc{indiciae4da668b4b2f6,
  title = {An Intensional Concurrent Faithful Encoding of Turing Machines},
  author = {Thomas Given-Wilson},
  year = {2014},
  doi = {10.4204/eptcs.166.4},
  url = {https://arxiv.org/abs/1404.0545},
  note = {Source identifier: 1404.0545}
}