Categories of Algebraic Systems by M. Petrich