Algebraic Systems - Mal"cev, A. I. (Springer-Verlag, 1973)