I've begun to interest in algebraic theories and their categorical models: in particular monads, generalized multicategories and operads, lawvere theories and their generalization. Is there any reference that treat systematically the relation between such models of theories, where model means a presentation of theory?