08A70 - General algebraic systems :: Algebraic structures :: Applications of universal algebra in computer science