Functional Abstraction

The second section introduces state transformation including representation of data and programs as well as conditional repetition.