@book{29091,
	author = {Oey},
	title = {The Design of a High Intergrity Disk Management Subsystem},
	year = {2005}
}