Walukiewicz, I. 1996. Pushdown Processes: Games and Model Checking. BRICS Report Series. 3, 54 (Jun. 1996). DOI:https://doi.org/10.7146/brics.v3i54.20057.