BUTZ, C.; JOHNSTONE, P. Classifying Toposes for First Order Theories. BRICS Report Series, v. 4, n. 20, 20 Jan. 1997.