D. Binger: Burnside's theorem. SIGSAM Bull. 21(3): 19-23 (1987)