Inverse semigroups - Lawson, Mark V (1998)