G. E. Reyes (1974). From sheaves to logic. In A. Daigneault (ed.). Studies in
Algebraic Logic. MAA Studies in Mathematics. The Mathematical Association of
America.