Book sequences Backus Elwyn