Pengarang: F. W. Lawvere

J. Adamek & J. Rosicky: Algebraic Theories

H. Appelgate & M. Barr: Seminar on Triples and Categorical Homology Theory

F. W. Lawvere: Toposes, Algebraic Geometry and Logic

M. Andre & D. A. Buchsbaum: Reports of the Midwest Category Seminar II

F.W. Lawvere & C. Maurer: Model Theory and Topoi