1. A Formalization of Set Theory without Variables;Tarski,1987
2. The Calculus of Relations as a Foundation for Mathematics;Givant;J. Autom. Reason.,2006
3. Relations and Graphs;Schmidt,1993
4. Relational Semantics of Functional Programs;Berghammer,1997
5. Relational Semantics for Higher-Order Programs;Aboul-Hosn,2006