Email Record: Universal Algebra and Applications in Theoretical Computer Science /