Email Record: Universal algebra and applications in theoretical computer science /