Algebraic theories a categorical introduction to general algebra - Adamek J (Cambridge University Press, 2011)