@book{1312,
	author = {Gregory, RT.},
	title = {Methods and applications of error free computation},
	publisher = {Springer Verlag},
	year = {1984},
	series = {Texts and monographs in computer science},
	address = {New York}
}