Richard Borcherds The Leech lattice and other lattices Ph.D. thesis (Cambridge, 1985).