Scarcely variabled programming and Pascal

Work of, for example, Bauer [1] and Griffiths [3] on program development considers the early expression of program solutions as variableless schemes, and the application of formal transforms to these schemes, introducing variables in a controlled manner to obtain improved equivalent solutions. Typically, their early solutions are built of recursive functions and their transforms eliminate explicit recursion in favour of iterative constructs.