@book{36489,
	author = {Craig, I.},
	title = {Formal models of operating systems kernels /},
	publisher = {Springer,},
	year = {c2007},
	address = {London :}
}