Books by Babbage, Charles (sorted alphabetically)