1. Fischer M. J., Ladner R. E. Propositional Dynamic Logic of regular programs JCSS 18(2), 1979, pp. 194–211.
2. Harel D. Two results on Process Logic Inf. Processing Letters 8(4), 1979, pp. 195–198.
3. Emerson E. A., Halpern J. Y. Decision procedures and expressiveness in the Temporal Logic of Branching Time STOC'82, pp. 169–180.
4. Pratt V. R. Process Logic: preliminary report POPL'79, pp. 93–100.
5. Rabin M. C. Weakly definable relations and special automata in: Math. Logic and Found. of Set Theory, (Y. Bar-Hillel ed.) North Holland Pub. Co., 1970, pp. 1–23.