Propositional dynamic logic of regular programs

M. Fischer, R. Ladner, "Propositional dynamic logic of regular programs", Journal of Computer and System Sciences, vol. 18, no. 2, pp. 194-211, 1979.

1979