Book sequences Von Allmen David