Enviar registro por correo electrónico: A unifying framework for structured analysis and design models, an approach using initial algebra semantics and category theory /