Büchi context-free languages
scientific article; zbMATH DE number 5853813
scientific article