Book sequences Larsen Dennis