Secure microkernels, state monads and scalable refinement (2008)

by David Cock, Gerwin Klein, Thomas Sewell
Venue:In Otmane Ait Mohamed, César Muñoz, and Sofiène Tahar, editors, 21st TPHOLs, volume 5170 of LNCS