Нижние оценки сложности для машинных моделей вычисления А.П. Бельтюков (1982) Zapiski naucnych seminarov Leningradskogo