TY  - BOOK
AU  - Kurki-Suonio Reino
TI  - Programmer's introduction to computability and formal languages
U1  - 005.131 
PY  - 1971///
CY  - Princeton
PB  - Auerbach Pub
KW  - Computability
KW  - Formal language
KW  - Programming language
ER  -