Theoretical Computer Science - Kun He (Springer Singapore, 2021)