S. L. Bloom and Z. Ésik, “An Extension Theorem with an Application to Formal Tree Series”, BRICS, vol. 9, no. 19, Apr. 2002.