The Design of a Reliable and Secure Operating System by Andrew Tanenbaum