Hartmanis J., Stearns R.E. ...