1. Postulates for the calculus of binary relations;McKinsey, J. C. C.;J. Symbolic Logic,1940
2. On the calculus of relations;Tarski, Alfred;J. Symbolic Logic,1941
3. A. N. Whitehead and B. Russell, Principia Mathematica, Cambridge, 1910.
4. B. Russell, Introduction to mathematical philosophy, London, 1920.
5. R. Carnap, Abriss der Logistik, Vienna, 1929.