J. Fortuny Andreu and B. Corominas Murtra, “Some Formal Considerations on the Generation of Hierarchically Structured Expressions”, catjl, vol. 8, no. 1, pp. 99–111, Dec. 2009.