The determinacy of long games - Neeman, Itay (De Gruyter series in logic and its applications, 2004)