Jonsson, B. and Tarski, A. (1961) “On Two Properties of Free Algebras”., Mathematica Scandinavica, 9, pp. 95–101. doi:10.7146/math.scand.a-10627.