A Category of Galois Connections. - J. M. McDill; Austin Melton; George E. Strecker (Category Theory and Computer Science, 1987)