Groupoids, inverse semigroups, and their operator algebra - Paterson, Alan L T (1999)