Butz, C. og 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.