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