B. Jonsson and A. Tarski, “On Two Properties of Free Algebras”., Math. Scand., vol. 9, pp. 95–101, Dec. 1961.