Jonsson, B., and A. Tarski. “On Two Properties of Free Algebras”. MATHEMATICA SCANDINAVICA, vol. 9, Dec. 1961, pp. 95-101, doi:10.7146/math.scand.a-10627.