Труды математического института имени В.А.Стеклова - Марков А.А (Теория алгорифмов, 1954)