Improving the reliability of commodity operating systems
Understanding the Linux Kernel