Triple dots in a formal language
scientific article; zbMATH DE number 1279225