Universal relational systems - Jónsson, Bjarni (MATHEMATICA SCANDINAVICA, 1956)