Alencar, Paulo S.C. de <br/><br/>
Métodos formais para o desenvolvimento de programas /  
Paulo S.C. de Alencar. 
 - Santiago del Estero:  Kapelusz,  1989 
 - 175 p. 
 - Ebai .
<br/><br/> Bibliografía: Pág. 175 
<br/><br/><label>Universal Decimal Class. No.: </label>681.32 AL25