Quasi-rocking real-time pushdown automata
scientific article; zbMATH DE number 5986999