The Crossword of Donald Knuth

12345678910111213
Across
  1. 4. Received his undergraduate degree in
  2. 6. Received his PhD in
  3. 9. Total number of desired volumes
  4. 11. computer typesetting system Knuth created
  5. 12. Language and rendering system
  6. 13. Code-breaking board game
Down
  1. 1. The Art of Computer ___
  2. 2. To get a Mastermind symbol & placement correct (color)
  3. 3. To get a Mastermind symbol correct (color)
  4. 5. possible codewords
  5. 7. Retired professor with benefits/no-pay
  6. 8. PhD from ________ (school nickname)
  7. 10. Professor at _______ University