Probabilistic length-reducing two-pushdown automata
scientific article; zbMATH DE number 5604816