1. A. Arnold, D. Niwiński, Rudiments of μ-Calculus, Studies in Logic and the Foundations of Mathematics, Vol. 146, Elsevier, Amsterdam, 2001.
2. A unified approach to control problems in discrete event processes;Bergeron;RAIRO-ITA,1993
3. State strategies for games in Fσδ∩ Gδσ;Büchi;J. Symbolic Logic,1983
4. Introduction to Discrete Event Systems;Cassandras,1999
5. E.A. Emerson, C.S. Jutla, The complexity of tree automata and logics of programs, in: Proc. 29th FOCS, 1988.