knuth - art of computer programming 4