Problemy matematičeskoj logiki : složnost' algoritmov i klassy vyčislimyh funkcij : SBORNIK PEREVODOV (Mir - Moskva, 1970)