Computer Science Theories: Book 6