From Mathematics to Generic Programming (2015)
3. Ancient Greek Number Theory
5. The Emergence of Modern Number Theory
7. Deriving a Generic Algorithm
9. Organizing Mathematical Knowledge
10. Fundamental Programming Concepts
Appendix B. Common Proof Techniques
Appendix C. C++ for Non-C++ Programmers