Title: The library of the late Fred R. Drake