Semántica natural como marco de verificación de compiladores en Coq - Ángel Francisco Zúñiga Chávez (2021)