Chicharro García, Rafael (2009) Implementación de métodos de verificación de programas. Proyecto Fin de Carrera,Computer Faculty (UPM).