Book sequences Irvine R. R.