Origins of the Calculus of Binary Relations (1992)

by V R Pratt
Venue:In Proc. 7th Annual IEEE Symp. on Logic in Computer Science