A probabilistic PDL (1983)

by D Kozen
Venue:In Proc. 15th ACM Symp. Theory of Comp