@inproceedings{Cock_KS_08, address = {Montreal, Canada}, author = {Cock, David and Klein, Gerwin and Sewell, Thomas}, booktitle = {Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics}, doi = {10.1007/978-3-540-71067-7_16}, editor = {{Otmane Ait Mohamed, C{\'e}sar Mu{\~n}oz, Sofi{\`e}ne Tahar}}, keywords = {state monad, refinement, microkernel, isabelle/hol, sel4}, month = aug, pages = {167--182}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/483.pdf}, publisher = {Springer}, title = {Secure Microkernels, State Monads and Scalable Refinement}, year = {2008} }