Борис Владимирович Гнеденко в воспоминаниях учеников и соратников