Webster's Biographical Dictionary. (Merriam, 1972)