Prof. Donald Knuth visits RISC (May 23, 2013)