Another one "Digital Systems Design Using Verilog" written by professors in University of Texas Austin
http://www.cengage.com/search/productOverview.do;jsessionid=6AF7CAAF2BEF94254C4BA7C2193F9092?N=16+21&Ntk=P_EPI&Ntt=185687454552273699174548340991567793&Ntx=mode%2Bmatchallpartial