A Probabilistic PDL (1985)

by D Kozen
Venue:JCSS