Propositional dynamic logic of regular programs (1979)

by M J Fischer, R E Ladner
Venue:J. Comput. Syst. Sci