Inverse Semigroups door Mark V. Lawson