A. D. Soloviev. - D. B. Gnedenko; S. S. Demidov; Andrey M. Zubkov; Victor A. Kashtanov (ACMPT, 2017)