@article{NPS18,
  year = {2018},
  volume = {14},
  author = {Neumann, Eike and Pape, Martin and Streicher, Thomas},
  journal = {Logical Methods in Computer Science},
  number = {2:14},
  pages = {1-20},
  title = {Computability in Basic Quantum Mechanics.},
}