Propositional Dynamic Logic of Regular Programs

著者: Michael J. Fischer, Richard E. Ladner - Journal of Computer and System Sciences 1979 被引用: 1,191