Book sequences Vardeman Robert E