Title: Works of Charles Babbage Vol 9