Book sequences Hyland M. J.