Notes for chapter 4: "Automating computation"