U. Berger and P. B. Oliva, “Modified Bar Recursion”, BRICS, vol. 9, no. 14, Apr. 2002.