Algebraic systems - Mal'cev A I (1973)