Jockusch C.G. Jr.,Lerman M.,Soare R.I.,Solovay R.M. ...