Book sequences Reasoner James M.