Proper maps of toposes / - Moerdijk, Ieke. (American Mathematical Society,, 2000)