Reading: "Concepts, Techniques, and Models of Computer Programming" - View it on GitHub