@manual{armv7ar,
	title="ARM Architecture Reference Manual. ARMv7-A and ARMv7-R edition",
	organization="ARM Limited",
	year=1996
}

@manual{armv7m,
	title="ARMv7-M Architecture Reference Manual",
	organization="ARM Limited",
	year=2006
}