Universal Algebra For Computer Scientists - Wechler, Wolfgang (Springer Verlag, 1992)