Book sequences Hofmanis E. T. A.