Ефремов, Филипп Серг. Ефремов, Филипп Серг. путешеств., переводч., р. 1750, † в 1800. {Венгеров} Большая биографическая энциклопедия