One counter languages and the IRS condition
scientific article; zbMATH DE number 3481866