Corrections to the thesis:
pages 93-94 in the section 3.5 Nested Simple Recursion
Note that corrections are marked red.