Topics in Theoretical Computer Science - S. Barbosa; Ali Abam, Mohammad (Springer International Publishing, 2020)