How Computers Make Books: From graphics rendering, search algorithms, and functional programming to indexing and typesetting - Whitington (IEEE, 2003)