The reference documentation is provided on the following site http://coq.inria.fr/doc-eng.html
A book by Y.Bertot and P. Castéran has been published by Springer. The associated site http://www.labri.fr/perso/casteran/CoqArt/index.html gives an extensive collection of examples and exercises.