Formalización del proceso de desarrollo de software - Haeberer, Armando Martín; Veloso, Paulo A. S.; Baum, Gabriel Alfredo (Buenos Aires : Kapelusz, 1988)
Libro editado para la IV Escuela Brasileño-Argentina de Informática, realizada en Termas de Río Hondo, Santiago del Estero, Argentina, del 16 al 29 de enero de 1989.
Keywords: MÉTODOS FORMALES; MODELOS DE PROCESO DE SOFTWARE; DESARROLLO DE SOFTWARE