Hogrefe, Dieter <br/><br/>
Formal Description Techniques VII 

 - New York   Chapman & Hall  1995 
 - 520p. 
<br/><br/><label>ISBN: </label>9780412644504