Book sequences Olson Kenneth E.