Большая биографическая энциклопедия
Григоровский, Мих. Ив.
инжен. пут. сообщ., р. 1839, † 13 июля 1900.
{Венгеров}