1. A. Arnold, Theµ-calculus alternation-depth hierarchy is strict on binary trees,this volume, p. 329.
2. J.C. Bradfield,Verifying Temporal Properties of Systems. Birkhäuser, Boston (1991).
3. J.C. Bradfield, On the expressivity of the modal mu-calculus, C. Puech and R. Reischuk, Eds., inProc. STACS '96. Springer, Berlin,Lecture Notes in Comput. Sci.1046(1996) 479-490.
4. The modal mu-calculus alternation hierarchy is strict
5. J.C. Bradfield, Simplifying the modal mu-calculus alternation hierarchy, M. Morvan, C. Meinel and D. Krob, Eds., inProc. STACS 98. Springer, Berlin,Lecture Notes in Comput. Sci.1373(1998) 39-49.