Martin, James <br/><br/>
System design from provably correct constructs 
by James Martin 
 - Englewood Cliffs, N.J.  Prentice-Hall  1985 
 - 393p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>System design
<br/><br/><label>Dewey Class. No.: </label>I5372 M364s