Book sequences Snell Edmund