Larsen, K. S.; Schmidt, E. M.; Schwartzbach, M. I. A Universal Relational Operator. DPB 1989, 18.