Theoretical Computer Science - Li; He, Kun; Lu, Pinyan (Springer Singapore, 2018)