Books by David G Tippens