An Elementary Proof of the Completeness of PDL (1981)

by D Kozen, R Parikh
Venue:Theor. Comp. Sci