Recommended Reading
Windows NT Device Driver Development by Peter Viscarola and W. Anthony Mason
A superbly written and well organized reference. This book is a must for any serious device driver writer. Does not cover WDM.
The Windows 2000 Device Driver Book: A Guide for Programmers by Art Baker, Jerry Lozano
Excellent follow up book.  Very  readable with good description of WDM framework.   Also contains excellent description of writing to the system log and WMI.
Programming the Microsoft Windows Driver Model, Second Edition by Walter Oney
 
Comprehensive, but poorly organized.  Not recommended for beginners.