Ulrich Berger Paulo Oliva Modified bar recursion. 163-183 2006 16 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129506005093 db/journals/mscs/mscs16.html#BergerO06