C. Butz og P. T. Johnstone, “Classifying Toposes for First Order Theories”, BRICS, bd. 4, nr. 20, jan. 1997.