Theoretical Computer Science - Du (Springer Singapore, 2017)