Book sequences Backus Jean L.