Robert McNaughton Infinite Games Played on Finite Graphs. 149-184 1993 65 Ann. Pure Appl. Logic 2 db/journals/apal/apal65.html#McNaughton93