@inproceedings{Derrin_EKCC_06, month = sep, booktitle = {Proceedings of the ACM SIGPLAN Haskell Workshop}, author = {Philip Derrin and Kevin Elphinstone and Gerwin Klein and David Cock and Manuel M. T. Chakravarty}, title = {Running the Manual: An Approach to High-Assurance Microkernel Development}, address = {Portland, OR, USA}, paperurl = {https://trustworthy.systems/publications/papers/Derrin_EKCC_06.pdf}, year = {2006} }