TY  - BOOK
AU  - Nivat, M
AU  - Podelski, A
TI  - Tree automata and languages
U1  - 005.13  NIV-T 
PY  - 1992///
CY  - Elsevier Science Publishers, B V
KW  - Programming languages
ER  -