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