Cholak P., Downey R. G., Fortnow L.Gasarch W. I., Kinber E. B,, Kummer M., Kurtz S. A., Slaman T.A. A. ...