TY  - BOOK
AU  - Martin, John C.
TI  - Introduction to languages and the theory of computation 
SN  - 978-007-128942
U1  - C 511.35 M36i 
CY  - New York 
KW  - Computable functions
KW  - Sequential machine theory
ER  -