Donald Knuth - Figuring out how to typeset and the problem with specifications (56/97)