Book in preparation: introduction to theoretical computer science - View it on GitHub