@misc{indiciaea17add2d85aa,
  title = {Quantum Predicative Programming},
  author = {Anya Tafliovich and E. C. R. Hehner},
  year = {2006},
  url = {https://arxiv.org/abs/quant-ph/0602156},
  note = {Source identifier: quant-ph/0602156}
}