Checking sets, test sets, rich languages and commutatively closed languages
scientific article; zbMATH DE number 3800950