Model checking pushdown systems - Schwoon, Stefan (2002)
München, Techn. Univ., Diss., 2002