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