Universal algebra for computer scientists. - Wechler, Wolfgang (Springer-Verlag, 1992)