A SYNTACTICAL PROOF OF LOCALITY OF DA
semidirect products of pseudovarieties of monoids
scientific article; zbMATH DE number 927245