Universal Algebra and Applications in Theoretical Computer Science - Shelly L. Wismath; Klaus Denecke (Taylor and Francis, 2002)