1. H. R. Andersen, Verification of Temporal Properties of Concurrent Systems, DAIMI PB — 445, Computer Science Dept, Aarhus University (1993).
2. A. Arnold and D. Niwinski, Fixed point characterization of Büchi automata on infinite trees. J. Inf. Process. Cybern., EIK 26, 451–459 (1990).
3. J. Barwise, Admissible sets and structures, Springer-Verlag, Berlin/New York (1975).
4. J. C. Bradfield, Verifying Temporal Properties of Systems. Birkhäuser, Boston, Mass. 0-817-63625-0 (1991).
5. J. C. Bradfield, On the expressivity of the modal mu-calculus. Proc. STACS '96, LNCS 1046, 479–490 (1996).