Z. Ésik and W. Kuich, “Formal Tree Series”, BRICS, vol. 9, no. 21, Apr. 2002.