@misc{indiciae037236fd712b,
  title = {Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp},
  author = {Michael Butler and Pieter Hartel},
  year = {1998},
  url = {https://arxiv.org/abs/quant-ph/9810066},
  note = {Source identifier: quant-ph/9810066}
}