Hartmanis J. ...