(s. 5) Theory of Computer Science