@book{2506,
	author = {Laver, Murray},
	title = {Introduccion to the uses of computers},
	publisher = {Cambridge University Press},
	year = {1976}
}