"A Probabilistic PDL"

Dexter Kozen (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics