Series: Foundations of Computer Science