Manchado Illán, Sara and Marugán Cruz, Manuel (2011) Análisis y conformación de tráfico en Internet. [Coursework] (Unpublished)
Manchado Illán, Sara (2012) Especificación y análisis del protocolo Chord en Maude. Tesis Master's thesis.