@misc{indiciae94ab33d8c4fb,
  title = {Program algebra for Turing-machine programs},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2019},
  doi = {10.7561/sacs.2019.2.113},
  url = {https://arxiv.org/abs/1901.08840},
  note = {Source identifier: 1901.08840}
}