Smith, C H A recursive introduction to the theory of computation C H Smith - New York Springer 1994 - 148p. - Groduate text in computer science . ISBN: 387943323 DM 56.00