B. Jónsson, “Universal relational systems”, Math. Scand., vol. 4, pp. 193–208, Dec. 1956.