C. A. . Joya Cetina y P. Suárez Sotomonte, «Formalización del Teorema del Seno a Partir de la Exploración de un Ambiente de Geometría Dinámica», vyc, vol. 4, n.º 1, pp. 79–98, dic. 2019.