Book sequences Hartmann Thom