The classifying topos of a continuous groupoid (1988)

by I Moerdijk
Venue:I, Transactions of the American Mathematical Society