@book{12717,
	author = {Sites, Richard L. and Witek, Richard T., J.T.},
	title = {Alpha AXP architecture reference manual},
	year = {1995}
}