One book that I've seen recommend is A Verilog HDL Primer, Third Edition by J. Bhasker. Some books focus their attention on coding for simulation without giving synthesis its due. I have been told that this book does not make that mistake.