Universal algebra and applications in theoretical computer science / Klaus Denecke, Shelly L. Wismath. - Denecke, Klaus (Chapman & Hall/CRC, 2002)