K. S. Larsen, E. M. Schmidt, and M. I. Schwartzbach, “A Universal Relational Operator”, DPB, vol. 18, no. 297, Dec. 1989.