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