Book sequences Seiler Lutz