Book sequences Deutermann P. T.