Hopf Algebras. - Radford, David E. (World Scientific, 2011)
10.3 Integrals and semisimplicity.