1. Lecture Notes in Computer Science;R.P. Díaz Redondo,2003
2. Díaz Redondo, R.P., Pazos Arias, J.J., Fernández Vilas, A., Barragáns Martínez, B.: ARIFS: an Environment for Incomplete and Formal Specifications Reuse. Electronic Notes in Theorethical Computer Science 66(4) (2002)
3. Predonzani, P., Succi, G., Vernazza, T.: Tracing Development Progress: A Variability Perspective. In: Extreme Programming Examined, Addison Wesley Professional, Reading (2001)
4. Girardi, M.R., Ibrahim, B.: Automatic Indexing of Software Artifacts. In: 3rd International Conference on Software Reusability, November 1994, pp. 24–32 (1994)
5. ISO. LOTOS – A Formal Description Technique Based on an Extended State Transition Model. ISO/IEC/8807, International Standards Organization (1989)