Book sequences Horowitz Craig