Jónsson, B. (1956) “Universal relational systems”, Mathematica Scandinavica, 4, pp. 193–208. doi:10.7146/math.scand.a-10468.