Inverse Semigroups by Mark V. Lawson