1
by Serre, Jean-Pierre
Published 1987
Springer New York
..., and the proofs can be found in Bourbaki, Groupes et Algebres de Lie, Paris, Hermann, 1960-1975, Chapters IV-VIII...