1. Arnold, A., Niwiński, D.: Rudiments of $$\mu $$ -calculus. Studies in Logic and the Foundations of Mathematics, vol. 146. Elsevier, New York (2001)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
3. Studies in Logic and Practical Reasoning;P Blackburn,2007
4. Bradfield, J., Stirling, C.: Modal $$\mu $$ -calculi. In: Handbook of Modal Logic, pp. 721–756. Elsevier (2007)
5. Bradfield, J., Walukiewicz, I.: The $$\mu $$ -calculus and model-checking. In: Handbook of Model Checking. Springer (2015)