Book sequences Deutermann P T