@book{5264,
	author = { Mcarthur,robert p. },
	title = { From logic to computing }
}