Universal algebra and applications in theoretical computer science - Klaus Denecke (CRC Press, 2002)