The Theory of Computer Science