Universal algebra for computer scientists - Wechler, Wolfgang (Monographs on theoretical computer science (EATCS), 1992)