Edroso Jarne, Alberto and García Toledo, Marcos Miguel (2010) Búsqueda de comportamiento en una máquina simple aleatoria. [Coursework] (Unpublished)

García Toledo, Marcos Miguel (2011) Un esquema de programación lógico funcional concurrente con restricciones. [Trabajo Fin de Máster]