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