The Homotopy Theory of Inverse Semigroups. - Mark V. Lawson; Joseph Matthews; Tim Porter (Int. J. Algebra Comput., 2002)