Book sequences Davidson J. P.