Running the manual: an approach to high-assurance microkernel development.

Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty

Browse the full HASKELL paper archive.