Universal algebra for computer scientists. - Springer Verlag, 1991. - ( EATCS Monographs on Theoretical Computer Science ; 25).