J. Paruelo, “Unification and Reduction”, Azafea, vol. 12, no. 1, pp. 53–63, Apr. 2011.