Toposes, Triples and Theories , Springer-Verlag (1985)

by M Barr, C F Wells