Books by David D. Manning