1. On the synthesis of strategies in infinite games;Thomas,1995
2. Automata, Logics, and Infinite Games,2002
3. Tree automata, mu-calculus and determinacy;Emerson,1991
4. Game Theory;Fudenberg,1991
5. The complexity of two-player games of incomplete information;Reif;Journal of Computer and System Sciences,1984