Theory of computer science | AbS