Kuke Roger Ed. <br/><br/>
Formal object-oriented specification using object-z 

 -  2000 
<br/><br/><label>Standard No.: </label>9511 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>D6,8(B2897), P0