RUGGLES,C.L.N (ED) <br/><br/>
FORMAL METHODS IN STANDARDS: A REPORT FROM THE BCS WORKING GROUP 

 - LONDON  SV  1990 
 -  135 
<br/><br/> BR-736 
<br/><br/><label>ISBN: </label>ERNET  75 
<br/><br/><label>Dewey Class. No.: </label>454