Model-checking structured context-free languages
scientific article; zbMATH DE number 7498189
scientific article