Hacia una formalización - Bofill, Ricardo