TY  - BOOK
AU  - Martin, John C.
TI  - Introduction to languages and the theory of computation
SN  - 9780071289429
AV  - QA 267.5.S4 .M37/ 
CY  - Singapore
KW  -   Sequential machine theory.  Computable functions.
ER  -