J. C. C. McKinsey Postulates for the Calculus of Binary Relations. 85-97 1940 5 J. Symb. Log. 3 db/journals/jsyml/jsyml5.html#McKinsey40