First order categorical logic model-theoretical methods in the theory of topoi and related categories - Makkai, Michael (Springer-verlag Berlin, 1977)