Tree automata and languages - Nivat, M; Podelski, A (Elsevier Science Publishers, B V, 1992)
Keywords: Programming languages