Formes de langages et de grammaires
context-free languages over infinite alphabets
scientific article; zbMATH DE number 3733280