Demetrovics, Jonos Etc <br/><br/>
Computer aided-specification tchniques / 

 - Singapore :  World Scientific Publishing Company ,  1985. 
 - ix+114 
 - Series in computer science vol.1 .
<br/><br/><label>ISBN: </label>9971978539 
<br/><br/><label>Subjects--Index Terms: </label>Computerscience