A category of Galois connections (1987)

by J McDill, A Melton, G Strecker
Venue:Lecture Notes in Computer Science