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