@misc{indiciae8da93468f266,
  title = {Dynamic Quantum Logic for Quantum Programs},
  author = {Olivier Brunet and Philippe Jorrand},
  year = {2003},
  url = {https://arxiv.org/abs/quant-ph/0311143},
  note = {Source identifier: quant-ph/0311143}
}