Butz, C.; Johnstone, P. T. Classifying Toposes for First Order Theories. BRICS 1997, 4.