Yeh, Raymond T. <br/><br/>
Current trends in programming methodology.v1.Software specification and design.v2.Program validation.v3.Software Modelin / 

 - 2nd ed. 
 - NewJersey  Prentice hall  1977 
 - 24cm  24  cm.