Computational complexity theory. - Hartmanis, Juris (Proceedings of symposia in applied mathematics, 1989)