Groupoids, Inverse Semigroups, and their Operator Algebras

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.