Currently Reading: How Computers Make Books: From graphics rendering, search algorithms, and functional programming to indexing and typesetting