Direct or cascade product of pushdown automata
scientific article; zbMATH DE number 3560741