Inverse Semigroups, The Theory Of Partial Symmetries