Большая биографическая энциклопедия
Жирухин, Вас. Ив.
адъюнкт-проф. Главн. педагог. инст., маг. математ. наук, р. 22 янв. 1821, † 23 окт. 1854.
{Венгеров}