TY  - BOOK
AU  - Taylor,Ralph Gregory
TI  - Models of computation and formal languages
SN  - 019510983X :
U1  - 004.015113 
PY  - 1998///
CY  - New York
PB  - Oxford University Press
KW  - Computable functions
KW  - Formal languages
N1  - Includes bibliographical references and index
ER  -