Model-checking of ordered multi-pushdown automata
scientific article; zbMATH DE number 6086018