Theoretical Computer Science - Xiaoming Sun, Kun He, Xiaoyun Chen (Springer, 2019)