Reuse Methodology Manual book (search in EDA books uploads/downloads, there is 1st edition, 3rd edition is not to different) is ultimate guide for Verilog coding style. It includes explanations for all those rules and guidelines.
OpenMORE self-assesment program (search on internet and download) has all those rules on one place (explained in the book).