Theoretical Computer Science - Li (Springer Singapore, 2018)