Books by John Calvin Batchelor