Dexter Kozen A Probabilistic PDL. 162-178 1985 30 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss30.html#Kozen85