Matti Linna: Two Decidability Results for Deterministic Pushdown Automata. J. Comput. Syst. Sci. 18(1): 92-107 (1979)