The Works of Charles Babbage Vol 9