Algebraic aspects of topos theory

Lambek, J.; Scott, P. J.

Cahiers de topologie et géométrie différentielle, Volume 22 (1981) p. 129-140