Formalización.pdf