Theoretical Computer Science - Zhiping Cai, Yijia Chen, Jialin Zhang (Springer, 2022)