History of the Down Survey — book written by William Petty in 1655-6, published in 1851