Cohn, P. M.: Universal Algebra