U. Berger og P. B. Oliva, “Modified Bar Recursion”, BRICS, bd. 9, nr. 14, apr. 2002.