Computer History Museum
Many of his publications are indexed on the DBLP computer science bibliography site, and the Computer History Museum, software preservation group site.