Cock, 2012. Verifying Probabilistic Correctness in Isabelle with pGCL 102.. https://doi.org/10.4204/eptcs.102.15