Jónsson, B. “Universal Relational Systems”. MATHEMATICA SCANDINAVICA, vol. 4, Dec. 1956, pp. 193-08, doi:10.7146/math.scand.a-10468.