Foundations And Trends In Theoretical Computer Science