S. L. Bloom og Z. Ésik, “An Extension Theorem with an Application to Formal Tree Series”, BRICS, bd. 9, nr. 19, apr. 2002.