Reachability in pushdown systems algorithms and applications - Dejvuth Suwimonteerabuth 1981- (München, Techn. Univ., Diss., 2009, 2009)