Proper Maps Of Toposes door Ieke Moerdijk & J.J.C. Vermeulen