Ésik, Z.; Kuich, W. Formal Tree Series. BRICS 2002, 9.