Text this: Universal Algebra and Applications in Theoretical Computer Science /