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 -