Richard Borcherds The Leech lattice Proc. Royal Soc. London A398 (1985) 365-376.