Origins of the calculus of binary relations (1992)

by Vaughan Pratt
Venue:In In Proceedings of MFCS’93