On algebraic and logical specifications of classes of regular languages.
scientific article; zbMATH DE number 1915466