[math-fun] William Shanks, historical computation of pi available on google books.