"Furtado, Antonio.L" <br/><br/>
Formal Techniques For Da 

 - Birlin  Springer-Verlag  1986 
 - "viii, 144" 
<br/><br/><label>ISBN: </label>387156011 
<br/><br/><label>Dewey Class. No.: </label>1  / 64 FUR