Homotopy equivalence of posets with a group action. - Jacques Thévenaz; P. J. Webb (J. Comb. Theory A, 1991)