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