C. Butz and P. T. Johnstone, “Classifying Toposes for First Order Theories”, BRICS, vol. 4, no. 20, Jan. 1997.