@inproceedings{Haskell-2006-DerrinEKCC,
	author        = "Philip Derrin and Kevin Elphinstone and Gerwin Klein and David Cock and Manuel M. T. Chakravarty",
	booktitle     = "{Proceedings of the 10th Haskell Workshop}",
	doi           = "10.1145/1159842.1159850",
	isbn          = "1-59593-489-8",
	pages         = "60--71",
	publisher     = "{ACM}",
	title         = "{Running the manual: an approach to high-assurance microkernel development}",
	year          = 2006,
}