Makkai M. and G. E. Reyes (1977). First-order categorical logic. LNM 611.
Berlin: Springer-Verlag.