@book{16020,
	author = {Seal, David,},
	title = {ARM architecture reference manual},
	publisher = {: Addison-Wesley},
	year = {, 2001.},
	address = {Harlow },
	edition = {2nd ed.}
}