@book{1811662,
	author = {J. B. Poole},
	title = {Verification 1996},
	publisher = {Taylor and Francis},
	url = {http://www.taylorfrancis.com/books/9780429266935}
}