@misc{indiciae557fcdef8b18,
  title = {Verifying Probabilistic Correctness in Isabelle with pGCL},
  author = {David Cock},
  year = {2012},
  doi = {10.4204/eptcs.102.15},
  url = {https://arxiv.org/abs/1211.6197},
  note = {Source identifier: 1211.6197}
}