Book sequences Spinrad Norman