Origins of the calculus of binary relations | IEEE Conference Publication | IEEE Xplore