D. Nowotka and J. , Srba Height-deterministic pushdown automata, 32 nd MFCS, LNCS, vol.4708, pp.125-134, 2007.