Topos theory - Johnstone, P. T. (L.M.S. monographs, 1977)