@book{17295,
	author = {Craven,  Timothy C.},
	title = {String indexing /}
}