Bandeira Texeira Mendes, Sueli <br/><br/>
Métodos para especificacao de sistemas. 

 - Curitiba :   EBAI,   1988. 
 - 288 p.