Regular polytopes - Coxeter, H S M (1963)