Computer Science Theories: Book 4