1. Lectures in Game Theory for Computer Scientists;Apt,2011
2. On the synthesis of a reactive module;Pnueli,1989
3. Decidability of second order theories and automata on infinite trees;Rabin;Trans. Am. Math. Soc.,1969
4. Combinatorial games under auction play;Lazarus;Games Econ. Behav.,1999
5. Richman games;Lazarus,1996