Book sequences Witham E. C.