Jónsson B. Universal relational systems. Math. Scand. 1956;4:193-208. doi:10.7146/math.scand.a-10468