Knuth Asking for verification of solutions to problems in 4B prefascicle
www-cs-faculty.stanford.edu