Algebra and its role in computer science