Hartmanis J., Hopcroft J. ...