J.-W. Zwart, “Prospects for top-down derivation”, catjl, vol. 8, no. 1, pp. 161–187, Dec. 2009.