A collection of useful papers, books, and links for the refined programmer