(with Janez Mrčun) Introduction to foliations and Lie groupoids, Cambridge Studies in Advanced Mathematics, 91. Cambridge University Press, Cambridge, 2003. x+173 pp. ISBN: 0-521-83197-0

Classifying spaces and classifying topoi, Lecture Notes in Mathematics 1616, Springer 1995. vi+94 pp. ISBN: 3-540-60319-0

(with Andre Joyal) Algebraic set theory, London Mathematical Society Lecture Note Series 220, Cambridge University Press 1995. viii+123 pp. ISBN: 0-521-55830-1