Books of sequence (David Trevellyan)