C.: Probabilistic guarded commands mechanized (2005)

by J Hurd, A McIver, Morgan
Venue:in HOL. Theoretical Computer Science