Algebraic theories a categorical introduction to general algebra - Adámek, Jiří (Cambridge University Press, 2011)