Lattice theoretic and logical aspects of elementary topoi - Mikkelsen, Christian Juul (Various publications series, 1976)