Определение слова «Григоровский, Мих. Ив.»

Большая биографическая энциклопедия:

Инжен. пут. сообщ., р. 1839, † 13 июля 1900.
{Венгеров}