Introduction to Theoretical Computer Science: index https://introtcs.org/public/index.html