Book sequences Koch Henning