Propositional Dynamic Logic of Regular Programs (1979)

by M J Fischer, R E Ladner
Venue:Journal of Computer and System Sciences