Mathematical foundation of computer science | AbS