Reversible pushdown automata
scientific article; zbMATH DE number 6102593
scientific article