Theoretical Computer Science - Kun He; Cai, Zhiping; Yin, Yitong; Zhong, Cheng (Springer Singapore, 2021)