Winning Regions of Higher−Order Pushdown Games - Meyer, C; Serre, O (2008)