Book sequences Smits Vilburs