Universal algebra and applications in theoretical computer science - Denecke, Shelly L. (Chapman and Hall, 2002)