Added Building Blocks for Theoretical Computer Science