Bases para la integración de métodos estructurados y formales en la especificación de sistemas de información - Cordero-Ríos, Jessica (J. Cordero-R., 1996)