Symmetric Inverse Semigroups by Stephen Lipscomb