Title: The Essential Knuth