Berger, Ulrich, and Paulo B. Oliva. “Modified Bar Recursion”. BRICS Report Series, vol. 9, no. 14, Apr. 2002, doi:10.7146/brics.v9i14.21732.