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