Valuable and Important Books and Manuscripts from the Library of Edward R. Leahy