T. Masopust and A. Meduna, “On pure multi-pushdown automata that perform complete pushdown pops”, Acta Cybern, vol. 19, no. 2, pp. 537-552, Jan. 2009.