Relations and their basic properties. (1990)

by Edmund Woronowicz
Venue:Formalized Mathematics,