Groupoids, Inverse Semigroups, and Their Operator Algebras (Progress in Mathematics) (Reprint)

The section on Lie groupoids in chapter 2 contains a detailed discussion of groupoids particularly important in noncommutative geometry, including the holonomy groupoids of a foliated manifold and the tangent groupoid of a manifold.