Propositional dynamic logic of regular programs.J (1956)

by Michael J Fischer, Richard E Ladner
Venue:Automata Studies