https://phzsantos.github.io/posts/reading-list-calculus/