User:Wuqc/Muted group theory/Bibliography