Reflection groups and Coxeter groups: Coxeter groups