Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems - Hague, M; Ong, C (2007)