Z. Ésik og W. Kuich, “Formal Tree Series”, BRICS, bd. 9, nr. 21, apr. 2002.