Mera Menéndez, Edison Fernando (2010) Un marco unificado para análisis de recursos y tiempo de ejecución, validación dinámica y pruebas unitarias = a Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing. Tesis(Doctoral), Computer Faculty (UPM).