TY - BOOK AU - Hartmanis, Juris. TI - Feasible Computations and Provable Complexity Properties SN - 0 89871 027 8 CY - USA ER -