Book sequences Voronkov