Books by John C. Havens