Book sequences Puchner Eric