Formalización escrita