Introduction to group characters . - Ledermann Walter (1977)