TY  - BOOK
AU  - Davis Martin D.
AU  -  Weyuker, Elaine J.
TI  - Computability, Complexity, and Languages
SN  - 0-12-206380-5.
AV  - QA267.D38 
CY  - Orlando
KW  -  Computational complexity
KW  -  Petri nets
KW  -  Rewriting systems (Computer science)
KW  -  Turing machines
KW  - Computer science
KW  - Machine theory
ER  -