In memoriam: Boris Vladimirovich Gnedenko (1912-1995). (1996)