Martin, James <br/><br/>
System design from provably correct constructs / 
James Martin 
 - Englewood Cliffs, NJ :  Prentice-Hall, Inc. ,  1985. 
 - XVIII, 392 p. 
<br/><br/> The beginnings of true software engineering 
<br/><br/><label>ISBN: </label>0-13-881483-X  3000.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers<br/>Programming<br/>System design