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