Остроменицкий, Ф. Остроменицкий, Ф. математик 1850-х гг. {Венгеров} Большая биографическая энциклопедия