Alexander R. Bednarek S. M. Ulam Projective Algebra and the Calculus of Relations. 56-64 1978 43 J. Symb. Log. 1 db/journals/jsyml/jsyml43.html#BednarekU78