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