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