Universal algebra for computer scientists - Wechler Wolfgang (Berlin Springer Verlag, 1992)
Keywords: Computer science; Universal algebra