Toposes, Triples, and Theories, Grundlehren der math. Wissenschaften 278 (1985)

by M Barr, C Wells