Universal algebra and applications in theoretical computer science - Denecke, Klaus, 1944- (Chapman & Hall, 2002)