Computer Science Theories: Book 2