Большая биографическая энциклопедия
Жирухин, Ив. Вас.
гидротехник, р. 1850, нач. работ по устр. СПб. порта 1902 г.
{Венгеров}