An integral software process formal model based on the SOCCA approach - Acuña, ST; Sosa, MD; (Proceedings - International Conference Of The Chilean Computer Science Society, Sccc, 2000)