@misc{indiciae56364589046d,
  title = {Computability in Basic Quantum Mechanics},
  author = {Eike Neumann and Martin Pape and Thomas Streicher},
  year = {2018},
  doi = {10.23638/lmcs-14(2:14)2018},
  url = {https://arxiv.org/abs/1610.09209},
  note = {Source identifier: 1610.09209}
}