Pushdown dimension. - David Doty; Jared Nichols (Theor. Comput. Sci., 2007)