Building Blocks for Theoretical Computer Science (2017) [pdf]