Howard Becker Determinacy of Banach Games. 110-122 1985 50 J. Symb. Log. 1 db/journals/jsyml/jsyml50.html#Becker85