Book sequences Vardeman Robert E.