Equivariant triangulations of differentiable and real-analytic manifolds with a properly discontinuous action - Korppi, Tuomas (Mathematica, 2005)