Calois Connections and Computer Science Applications. - Austin Melton; David A. Schmidt; George E. Strecker (CTCS, 1985)

Concrete Categories and Injectivity. - H. Bargenda; Horst Herrlich; George E. Strecker (Mathematical Foundations of Programming Semantics, 1985)

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

On Residuated Approximations. - Hajnal Andréka; R. J. Greechie; George E. Strecker (Categorial Methods in Computer Science, 1988)

Connections. - Austin Melton; Bernd S. W. Schröder; George E. Strecker (MFPS, 1991)

Regular closure operators. - Gabriele Castellini; Jürgen Koslowski; George E. Strecker (Appl. Categorical Struct., 1994)

Lagois Connections - a Counterpart to Galois Connections. - Austin Melton; Bernd S. W. Schröder; George E. Strecker (Theor. Comput. Sci., 1994)

Flows With Respect to a Functor. - George E. Strecker (Appl. Categorical Struct., 2000)

Abstract and Concrete Categories - The Joy of Cats. - Jirí Adámek; Horst Herrlich; George E. Strecker (Dover Publications, 2009)