Controlled pushdown automata
scientific article; zbMATH DE number 3438395
scientific article