Modest Theory of Short Chains, I - Gurevich, Yuri (Journal of Symbolic Logic, 1979)
The composition (or decomposition) method of Feferman-Vaught is generalized and made much more applicable.