Title: Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)
Subjects: Machine theory, Formal languages