The General biographical dictionary: containing an historical and critical account of the lives and writings of the most eminent persons in every ... to the present time. New ed., rev. and