Butz, C. and Johnstone, P.T. 1997. Classifying Toposes for First Order Theories. BRICS Report Series. 4, 20 (Jan. 1997). DOI:https://doi.org/10.7146/brics.v4i20.18946.