Walukiewicz, I. Pushdown Processes: Games and Model Checking. BRICS 1996, 3.