Series: Computer Science Foundations