Topics in Theoretical Computer Science - Luís S. Barbosa, Mohammad Ali Abam (Springer, 2020)