Reachability in pushdown systems algorithms and applications - Dejvuth Suwimonteerabuth 1981- (2009)