Бабошин, Петр Бабошин, Петр переводч. с нем. 1780 г. специал. горного дела. {Половцов} Большая биографическая энциклопедия