Ramirez Deantes, Diana (2011) Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java. Tesis(Doctoral), Computer Faculty (UPM).