Construction of a Highly Dependable Operating System (2006) [pdf]cs.vu.nl46 pointsvezzy-fnord11 years ago