see also the index (by topic, by tool, by reference, by year)
The Art of Computer Programming
http://www-cs-faculty.stanford.edu/~uno/taocp.html
Verified programs from Knuth's The Art of Computer Programming
see also the index (by topic, by tool, by reference, by year)