Book sequences Barnett David