Book sequences Jacobson Howard