Diaconescu Razvan Et Al <br/><br/>
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification 

 -  World Scientific  WSPC  1998 
<br/><br/><label>ISBN: </label>9789812816108 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science