Propositional Dynamic Logic of Regular Programs

Authors: Michael J. Fischer, Richard E. Ladner - Journal of Computer and System Sciences 1979 cited by 1,191