Theoretical Computer Science - Du; He, Kun; Li, Lian; Zhu, En (Springer Singapore, 2017)