Book sequences Hardy Paul R.