Toposes, triples, and theories - Barr, Michael.; Wells, Charles. (Springer-Verlag, 1985)