Milne, George <br/><br/>
Formal specification and verification of digital systems 

 - London  McGraw-Hill  1994 
 - xiv,240 p. 
<br/><br/><label>Dewey Class. No.: </label>Computer