1. Fisher M.J., Ladner R.E., Prepositional Dynamic logic of Regular Programs, J. Comput. Syst. Sci., v. 18, n.2, 1979, p.194–211.
2. Niemela I., Tuominen H., Helsinki Logic Machine: a system for logical expertise, Helsinki University of Technology, Digital Systems Laboratory. Tech. rep n.l, December 1987, 58 p.
3. Nepomniaschy V.A., Shilov N.V., Program schemata technique for decidability of prepositional dynamic logic variants, COLOG 88, Tallinn, 1988, pp. 193–205.
4. Streett R.S., Emerson E.A., An Automata Theoretic Decision Procedure for the Prepositional Mu-Calculus, Information and Control, v.81, n.3, 1989 pp. 249–264.