Tanenbaum: Can We Make Operating Systems Reliable and Secure? (2006) [pdf]
cs.vu.nl