1. R.S. Streett, E.A.Emerson. An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus // Information and Control, v.81, n.3, 1989 // pp. 249–264.
2. S.A. Berezin, N.V. Shilov, V.P. Shneider. An effective model checking for Mu-calculus: from finite systems towards systems with real time // Bulletin of the Novosibirsk Computer Center, Series: Computer Science, No. 1, 1993// pp. 73–86.
3. R. Cleaveland, M. Dreimueller and B. Steffen. Faster Model-Checker for the Modal Mu-Calculus // proc. of TAV-91, Montreal // pp. 383–400.
4. E.A. Emerson, C.S. Julta, A.P. Sistla. On model-checking for fragments of Mucalculus // Proc. of ”Computer Aided Verification CAV-93”, Lect. Notes in Comp. Sci., 1993// pp. 385–396
5. N.V. Shilov. Propositional Dynamic Logic with Fixed Points: Algoritmic Tools for verification of Finite State Machines // Proc. of ”Logic Foundations of Comp. Sci. — Tver'92”. Lect. Notes in Comp. Sci., volo. 620, 1992// pp.452–458.