Probabilistic guarded commands mechanized in HOL (Theoretical Computer Science, 2005)

(untitled) - Hurd, J; McIver, A; Morgan, C