Notes on Recursion Elimination - Bird, R (1977)