Две теоремы о сложности алгорифмов и вычислений Н.В. Петри — 1969 Zapiski naucnych seminarov Leningradskogo