Srivas, Mandayam <br/><br/>
Formal methods in computer-Aided design 
Mandayam Srivas 
 - New York  Springer  1996 
 - ix, 470p. 
<br/><br/><label>ISBN: </label>3540619372  E59.00