Syntactic congruences and syntactic algebras Johannes Arz — 1983 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications