Sistemas de apoyo para la documentacion y mantenimiento de sistemas utilizando metodologias formales de desarrollo - Villanueva Castellanos, Mauricio Horacio (1993)