Austin Melton Bernd S. W. Schröder George E. Strecker Lagois Connections - a Counterpart to Galois Connections. 79-107 1994 136 Theor. Comput. Sci. 1 db/journals/tcs/tcs136.html#MeltonSS94