TY - BOOK AU - Smith, C H TI - A recursive introduction to the theory of computation SN - 387943323 PY - 1994/// CY - New York PB - Springer ER -