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